Libros
Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Michael Yoeli
2008
Páginas: 248
Género: Verification


Añadir a mi colección

Formato