Login / Signup

Comparing Under and Over-Approximations of LTL Properties for Model Checking.

María-del-Mar GallardoPedro MerinoErnesto Pimentel
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases