Gianpiero Cabodi, Sergio Nocco
Optimized model checking of multiple properties
DATE, 2011.
@inproceedings{DATE-2011-CabodiN, author = "Gianpiero Cabodi and Sergio Nocco", booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}", isbn = "978-1-61284-208-0", pages = "543--546", publisher = "{IEEE}", title = "{Optimized model checking of multiple properties}", year = 2011, }