Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf. Formalisms for Specifying Markovian Population Models. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 3-23, Springer, 2009. [doi]
Abstract is missing.