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

Bibliographic Details
Main Author:	Yoeli, Michael, 1917-
Other Authors:	Kol, Rakefet.
Format:	Electronic
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:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=177497

Description
Physical Description:	xv, 231 p. : ill.
Bibliography:	Includes bibliographical references and index.