Peter Niebert, Doron Peled, Amir Pnueli
Discriminative Model Checking
CAV, 2008.
@inproceedings{CAV-2008-NiebertPP, author = "Peter Niebert and Doron Peled and Amir Pnueli", booktitle = "{Proceedings of the 20th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-70545-1_48", isbn = "978-3-540-70543-7", pages = "504--516", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Discriminative Model Checking}", volume = 5123, year = 2008, }