@inproceedings{HJW09,
title = {Formalisms for Specifying Markovian Population Models },
author = {Henzinger, Thomas A. and Jobstmann, Barbara and Wolf, Verena},
year = {2009},
booktitle = {Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings},
pages = {3-23},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5797},
team = {DCS},
}