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

Bibliographic Details
Main Author: Yoeli, Michael
Language:English
Published: New Jersey John Wiley & Sons 2008
Subjects:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets
Description
Item Description:
Physical Description:xv,231p
ISBN:9780471704492

Similar Items