Verification of systems and circuits using LOTOS, Petri nets, and CCS

Bibliographische Detailangaben

Hauptverfasser:	Yoeli, Michael (VerfasserIn), Kol, Rakefet (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Hoboken Wiley-Interscience 2008
Schriftenreihe:	Wiley series on parallel and distributed computing
Schlagworte:	LOTOS > Programmiersprache Petri-Netz CCS
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!