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

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Yoeli, Michael, 1917-
Coauteur:	ebrary, Inc
Andere auteurs:	Kol, Rakefet
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Hoboken, N.J. : Wiley-Interscience, c2008.
Reeks:	Wiley series on parallel and distributed computing.
Onderwerpen:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online toegang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Internet