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

Saved in:

Bibliographic Details
Main Author:	Yoeli, Michael, 1917-
Corporate Author:	ProQuest (Firm)
Other Authors:	Kol, Rakefet
Format:	Electronic eBook
Language:	English
Published:	Hoboken, N.J. : Wiley-Interscience, c2008.
Series:	Wiley series on parallel and distributed computing.
Subjects:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View