Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
- Author
- Michael Yoeli, Rakefet Kol
- Language
- English
- Edition
- 1
- Year
- 2008
- Page
- 231
- ISBN
- 0471704490,9780471704492,9780470253397
- File Type
- pdf
- File Size
- 857.3 KiB
How to Download?!!!
Just click on START button on Telegram Bot