%0 Journal Article %1 journals/ijfcs/HenzingerJW11 %A Henzinger, Thomas A. %A Jobstmann, Barbara %A Wolf, Verena %D 2011 %J Int. J. Found. Comput. Sci. %K dblp %N 4 %P 823-841 %T Formalisms for Specifying Markovian Population Models. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#HenzingerJW11 %V 22

@article{journals/ijfcs/HenzingerJW11, added-at = {2011-06-28T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Jobstmann, Barbara and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/2d516ca949d04ea4f4c099c6f74cb72d3/dblp}, ee = {http://dx.doi.org/10.1142/S0129054111008441}, interhash = {dd4d9e305bc9dfc15ec57c4a931b3828}, intrahash = {d516ca949d04ea4f4c099c6f74cb72d3}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {823-841}, timestamp = {2011-06-29T16:46:03.000+0200}, title = {Formalisms for Specifying Markovian Population Models.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#HenzingerJW11}, volume = 22, year = 2011 }