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

Dades bibliogràfiques
Autor principal: Yoeli, Michael 1917-
Altres autors: Kol, Rakefet
Format: Llibre
Idioma:English
Publicat: Hoboken, N.J. Wiley-Interscience c2008.
Col·lecció:Wiley series on parallel and distributed computing
Matèries: