Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Enno Ruijters  [Clear All Filters]
2014
D. Guck, M. Timmer, H. Hatefi, E. Ruijters, and M. Stoelinga, “Modelling and Analysis of Markov Reward Automata”, in Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, 2014.