Login / Signup

A lightweight regular model checking approach for parameterized systems.

Giorgio DelzannoAhmed Rezine
Published in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases