Confluence reduction for Markov automata.
| Autor: | Timmer, Mark1 timmer@cs.utwente.nl, Katoen, Joost-Pieter1,2 katoen@cs.rwth-aachen.de, van de Pol, Jaco1 vdpol@cs.utwente.nl, Stoelinga, Mariëlle1 marielle@cs.utwente.nl |
|---|---|
| Zdroj: | Theoretical Computer Science. Dec2016 Part B, Vol. 655, p193-219. 27p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
Full Text from ScienceDirect