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

Bibliographische Detailangaben

1. Verfasser:	Yoeli, Michael 1917- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Hoboken, N.J. Wiley-Interscience c2008
Schriftenreihe:	Wiley series on parallel and distributed computing
Schlagworte:	Integrated circuits > Verification Computer software > Verification LOTOS (Computer program language) Petri nets LOTOS > Programmiersprache CCS Petri-Netz
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!