Model Checking Algorithms for Markov Automata. Hatefi, H. & Hermanns, H. ECEASST, 2012.
Model Checking Algorithms for Markov Automata [link]Paper  bibtex   
@article{hatefi_model_2012,
	title = {Model {Checking} {Algorithms} for {Markov} {Automata}},
	volume = {53},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/783},
	urldate = {2015-07-07},
	journal = {ECEASST},
	author = {Hatefi, Hassan and Hermanns, Holger},
	year = {2012}
}

Downloads: 0