Analysis of Timed and Long-Run Objectives for Markov Automata. Guck, D., Hatefi, H., Hermanns, H., Katoen, J., & Timmer, M. Logical Methods in Computer Science, 2014.
doi  bibtex   
@article{guck_analysis_2014,
	title = {Analysis of {Timed} and {Long}-{Run} {Objectives} for {Markov} {Automata}},
	volume = {10},
	doi = {10.2168/LMCS-10(3:17)2014},
	number = {3},
	journal = {Logical Methods in Computer Science},
	author = {Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark},
	year = {2014},
}

Downloads: 0