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

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

Saved in:
Bibliographic Details
Main Author: Yoeli, Michael 1917-
Other Authors: Kol, Rakefet
Format: Unknown
Published: Hoboken, NJ Wiley-Interscience 2008
Series:Wiley series on parallel and distributed computing
Subjects:
Integrated circuits > Verification
Computer software > Verification
LOTOS (Computer program language)
Petri nets > Verification
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xv, 231 p. ill. 25 cm
Bibliography:Includes bibliographical references and index
ISBN:9780471704492 (cloth)
0471704490 (cloth)

Similar Items