Model checking using net unfoldings

Bibliographische Detailangaben

1. Verfasser:	Esparza, Javier (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Hildesheim Inst. für Informatik 1992
Schriftenreihe:	Hildesheimer Informatik-Berichte 1992,14
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!