Coloured Petri Nets and the invariant-method

Bibliographische Detailangaben

1. Verfasser:	Jensen, K. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Aarhus 1980
Ausgabe:	rev. version
Schriftenreihe:	DAIMI. PB 104
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!