Login / Signup

A generalized semantics of PROMELA for abstract model checking.

María-del-Mar GallardoPedro MerinoErnesto Pimentel
Published in: Formal Aspects Comput. (2004)
Keyphrases