Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS Dublin Core Títol Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS Autor Michael Yoeli Matèria Computer Science & Information Technology General Computing Editor Wiley Data de publicació 2008 Identificador 9780470253410 Font https://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410 Etiquetes Computer Science & Information Technology, General Computing Col·lecció Social Sciences ← ítem anterior Ítem següent →
