Generalized petri nets as models for system verification

Bibliographische Detailangaben

1. Verfasser:	Keller, Robert M. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Utah University of Utah, Department of Computer Science ca. 1979
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!