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

Bibliografische gegevens
Hoofdauteur: Yoeli, Michael
Taal:English
Gepubliceerd in: New Jersey John Wiley & Sons 2008
Onderwerpen:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets
Omschrijving
Beschrijving item:
Fysieke beschrijving:xv,231p
ISBN:9780471704492

Gelijkaardige items