Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Autor
Michael Yoeli
Matèria
Editor
Wiley
Data publicació
2008
Identificador
9780470253410
Col·lecció
Accés
https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410