Formalisms For Specifying Markovian Population Models

@article{pub16911,
    author = {

Henzinger, Thomas
 and 

Jobstmann, Barbara
 and 

Wolf, Verena
},
    title = {Formalisms For Specifying Markovian Population Models},
    year = {2011},
    month = {6},
    volume = {22},
    number = {04},
    pages = {823--841},
    journal = {International Journal of Foundations of Computer Science},
    publisher = {World Scientific Publishing Company}
}