Michael Yoeli-Rakefet Kol
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
- Wiley-Interscience 2008
- Wiley Series on Parallel and Distributed Computing .
9780470253397
Computer software--Verification.,Integrated circuits--Verification.,LOTOS (Computer program language),Petri nets.
COMPUTERS / Computer Engineering
TK7874.58 .Y64 2008eb
621.3815/48