Publications
Export 2 results:
[ Author
Filters: First Letter Of Last Name is T [Clear All Filters]
Confluence Reduction for Markov Automata. Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina. 8053:243–257.
.
2013. .
2013.