%0 Conference Paper %1 conf/sfm/AbrahamBDJKW14 %A Ábrahám, Erika %A Becker, Bernd %A Dehnert, Christian %A Jansen, Nils %A Katoen, Joost-Pieter %A Wimmer, Ralf %B SFM %D 2014 %E Bernardo, Marco %E Damiani, Ferruccio %E Hähnle, Reiner %E Johnsen, Einar Broch %E Schaefer, Ina %I Springer %K %P 65-121 %T Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2014.html#AbrahamBDJKW14 %V 8483 %@ 978-3-319-07316-3

@inproceedings{conf/sfm/AbrahamBDJKW14, added-at = {2023-12-12T21:32:30.000+0100}, author = {Ábrahám, Erika and Becker, Bernd and Dehnert, Christian and Jansen, Nils and Katoen, Joost-Pieter and Wimmer, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/22a0e534edc9a86356aac207180094572/admin}, booktitle = {SFM}, crossref = {conf/sfm/2014}, editor = {Bernardo, Marco and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and Schaefer, Ina}, ee = {https://www.wikidata.org/entity/Q57800793}, interhash = {3fb9ddb88eea909ea3bf6bf1d83e6a19}, intrahash = {2a0e534edc9a86356aac207180094572}, isbn = {978-3-319-07316-3}, keywords = {}, pages = {65-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:32:30.000+0100}, title = {Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2014.html#AbrahamBDJKW14}, volume = 8483, year = 2014 }