by Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Reference:
The COMICS tool–Computing minimal counterexamples for DTMCs (Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker), Chapter in Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, 2012.
Bibtex Entry:
@incollection{jansen2012comics, title={The COMICS tool--Computing minimal counterexamples for DTMCs}, author={Jansen, Nils and {'A}brah{'a}m, Erika and Volk, Matthias and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd}, booktitle={Automated Technology for Verification and Analysis}, pages={349--353}, year={2012}, publisher={Springer Berlin Heidelberg} }