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: Book
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!

Similar Items

Similar Items