HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA.
Saved in:
| Title: | HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA. |
|---|---|
| Authors: | WIMMER, RALF1, wimmer@informatik.uni-freiburg.de, JANSEN, NILS2, nils.jansen@informatik.rwth-aachen.de, ÁBRAHÁM, ERIKA2, abraham@informatik.rwth-aachen.de, KATOEN, JOOST-PIETER2, katoen@informatik.rwth-aachen.de |
| Source: | Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-23, 23p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.2168/LMCS-11(1:15)2015 |
