Model checking of persistent Petri nets

Bibliographische Detailangaben

1. Verfasser:	Best, Eike (VerfasserIn)
Weitere Verfasser:	Esparza, Javier (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hildesheim Inst. für Informatik 1991
Schriftenreihe:	Hildesheimer Informatik-Berichte 1991,11
Schlagworte:	Petri-Netz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!