[JAV+12]
Nils Jansen, Erika Abraham, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen and Bernd Becker.
The COMICS Tool - Computing Minimal Counterexamples for DTMCs.
In Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA’12), volume 7561 of LNCS, Springer.
2012.
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|