Counterexample generation for discrete-time Markov models: An introductory survey

by Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
Reference:
Counterexample generation for discrete-time Markov models: An introductory survey (Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer), Chapter in Formal Methods for Executable Software Models, Springer International Publishing, 2014.
Bibtex Entry:
@incollection{abraham2014counterexample,
  title={Counterexample generation for discrete-time Markov models: An introductory survey},
  author={{'A}brah{'a}m, Erika and Becker, Bernd and Dehnert, Christian and Jansen, Nils and Katoen, Joost-Pieter and Wimmer, Ralf},
  booktitle={Formal Methods for Executable Software Models},
  pages={65--121},
  year={2014},
  publisher={Springer International Publishing}
}

Bookmark the permalink.