Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Speeding up model checking by exploiting explicit and hidden verification constraints
DATE, 2009.
@inproceedings{DATE-2009-CabodiCGMNQ,
author = "Gianpiero Cabodi and Paolo Camurati and Luz Garcia and Marco Murciano and Sergio Nocco and Stefano Quer",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1686--1691",
publisher = "{IEEE}",
title = "{Speeding up model checking by exploiting explicit and hidden verification constraints}",
year = 2009,
}