Modelling and Analysis of Markov Reward Automata. Guck, D., Timmer, M., Hatefi, H., Ruijters, E., & Stoelinga, M. In Cassez, F. & Raskin, J., editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837, of Lecture Notes in Computer Science, pages 168–184, 2014. Springer.
doi  bibtex   
@inproceedings{guck_modelling_2014,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Modelling and {Analysis} of {Markov} {Reward} {Automata}},
	volume = {8837},
	isbn = {978-3-319-11935-9},
	doi = {10.1007/978-3-319-11936-6_13},
	booktitle = {Automated {Technology} for {Verification} and {Analysis} - 12th {International} {Symposium}, {ATVA} 2014, {Sydney}, {NSW}, {Australia}, {November} 3-7, 2014, {Proceedings}},
	publisher = {Springer},
	author = {Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle},
	editor = {Cassez, Franck and Raskin, Jean-François},
	year = {2014},
	pages = {168--184}
}

Downloads: 0