@inproceedings{DBLP:conf/cav/KahlonWG09,
author = {Vineet Kahlon and
Chao Wang and
Aarti Gupta},
title = {Monotonic Partial Order Reduction: An Optimal Symbolic Partial
Order Reduction Technique},
booktitle = {CAV},
year = {2009},
pages = {398-413},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_31},
crossref = {DBLP:conf/cav/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/2009,
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Computer Aided Verification, 21st International Conference,
CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5643},
year = {2009},
isbn = {978-3-642-02657-7},
ee = {http://dx.doi.org/10.1007/978-3-642-02658-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
