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 |
Be the first to leave a comment!
