Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}