%0 Conference Paper %1 conf/spin/AljazzarLLS11 %A Aljazzar, Husain %A Leitner-Fischer, Florian %A Leue, Stefan %A Simeonov, Dimitar %B SPIN %D 2011 %E Groce, Alex %E Musuvathi, Madanlal %I Springer %K dblp %P 183-187 %T DiPro - A Tool for Probabilistic Counterexample Generation. %U http://dblp.uni-trier.de/db/conf/spin/spin2011.html#AljazzarLLS11 %V 6823 %@ 978-3-642-22305-1

@inproceedings{conf/spin/AljazzarLLS11, added-at = {2017-05-17T00:00:00.000+0200}, author = {Aljazzar, Husain and Leitner-Fischer, Florian and Leue, Stefan and Simeonov, Dimitar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26ce82fcd993418e71e56d8c4d75b580d/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2011}, editor = {Groce, Alex and Musuvathi, Madanlal}, ee = {https://doi.org/10.1007/978-3-642-22306-8_13}, interhash = {2207be19fbb444937c0c105f57c4aac8}, intrahash = {6ce82fcd993418e71e56d8c4d75b580d}, isbn = {978-3-642-22305-1}, keywords = {dblp}, pages = {183-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:28.000+0200}, title = {DiPro - A Tool for Probabilistic Counterexample Generation.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2011.html#AljazzarLLS11}, volume = 6823, year = 2011 }