%0 Conference Paper %1 conf/rp/HenzingerJW09 %A Henzinger, Thomas A. %A Jobstmann, Barbara %A Wolf, Verena %B RP %D 2009 %E Bournez, Olivier %E Potapov, Igor %I Springer %K dblp %P 3-23 %T Formalisms for Specifying Markovian Population Models. %U http://dblp.uni-trier.de/db/conf/rp/rp2009.html#HenzingerJW09 %V 5797 %@ 978-3-642-04419-9

@inproceedings{conf/rp/HenzingerJW09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Jobstmann, Barbara and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/224f0fdfdcbd04cbf65d6fcb006422533/dblp}, booktitle = {RP}, crossref = {conf/rp/2009}, editor = {Bournez, Olivier and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-642-04420-5_2}, interhash = {ceb83bcdc8c49a52515a9d613801d8e1}, intrahash = {24f0fdfdcbd04cbf65d6fcb006422533}, isbn = {978-3-642-04419-9}, keywords = {dblp}, pages = {3-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:20:38.000+0200}, title = {Formalisms for Specifying Markovian Population Models.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2009.html#HenzingerJW09}, volume = 5797, year = 2009 }