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

Bibliographische Detailangaben
1. Verfasser: Yoeli, Michael
Sprache:English
Veröffentlicht: New Jersey John Wiley & Sons 2008
Schlagworte:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets
Beschreibung
Beschreibung:
Beschreibung:xv,231p
ISBN:9780471704492

Ähnliche Einträge