Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Boosting the role of inductive invariants in model checking
DATE, 2007.
@inproceedings{DATE-2007-CabodiNQ,
author = "Gianpiero Cabodi and Sergio Nocco and Stefano Quer",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266654",
isbn = "978-3-9810801-2-4",
pages = "1319--1324",
publisher = "{ACM}",
title = "{Boosting the role of inductive invariants in model checking}",
year = 2007,
}