Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Hoboken: Wiley-Interscience, 2008
- xv, 231 p.; ill.: 25 cm.
- Wiley series on parallel and distributed computing .
9780471704492 (hbk)
Computer software -- Verification Integrated circuits -- Verification LOTOS (Computer program language) Petri nets