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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yoeli, Michael, 1917-
Körperschaft:	ebrary, Inc
Weitere Verfasser:	Kol, Rakefet
Format:	Elektronisch E-Book
Sprache:	Englisch
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. Electronic books.
Online-Zugang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge