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

Bibliographic Details
Main Author: Yoeli, Michael
Format: Printed Book
Language:English
Published: New Jersey John Wiley & Sons 2008
Subjects:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Holdings details from UL
Call Number: 621.3.049.77 YOE
Copy Live Status Unavailable

Similar Items