Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is analysis and Author is M. I. A. Stoelinga  [Clear All Filters]
2014
Guck D., Timmer M., Hatefi H., Ruijters E.JJ, Stoelinga M.IA.  2014.  Modelling and analysis of Markov reward automata. Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, Sydney, NSW, Australia. 8837:168–184.