Login / Signup

A Tool for Abstraction in Model Checking.

María-del-Mar GallardoJesús MartínezPedro MerinoErnesto Pimentel
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases