%0 Conference Paper %1 conf/icse/AljazzarKLL10 %A Aljazzar, Husain %A Kuntz, Matthias %A Leitner-Fischer, Florian %A Leue, Stefan %B QUOVADIS@ICSE %D 2010 %E Ghezzi, Carlo %E Grunske, Lars %E Mirandola, Raffaela %I ACM %K dblp %P 25-32 %T Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. %U http://dblp.uni-trier.de/db/conf/icse/quovadis2010.html#AljazzarKLL10 %@ 978-1-60558-972-5

@inproceedings{conf/icse/AljazzarKLL10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Aljazzar, Husain and Kuntz, Matthias and Leitner-Fischer, Florian and Leue, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd19cd47aacd6fd6e6d67bfde1328da1/dblp}, booktitle = {QUOVADIS@ICSE}, crossref = {conf/icse/2010quovadis}, editor = {Ghezzi, Carlo and Grunske, Lars and Mirandola, Raffaela}, ee = {https://doi.org/10.1145/1808877.1808883}, interhash = {3ec4aa5e4a1d2bc345415e3d7119db20}, intrahash = {bd19cd47aacd6fd6e6d67bfde1328da1}, isbn = {978-1-60558-972-5}, keywords = {dblp}, pages = {25-32}, publisher = {ACM}, timestamp = {2019-09-27T20:31:28.000+0200}, title = {Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.}, url = {http://dblp.uni-trier.de/db/conf/icse/quovadis2010.html#AljazzarKLL10}, year = 2010 }