Export 1 results:Author Title Type [ Year]
Filters: First Letter Of Title is M and Author is H. Hatefi [Clear All Filters]
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.. 2014.