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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Yoeli, Michael
Γλώσσα:English
Έκδοση: New Jersey John Wiley & Sons 2008
Θέματα:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Παρόμοια τεκμήρια