Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
QAPL, 2011.
@inproceedings{QAPL-2011-AndreychenkoCW,
author = "Aleksandr Andreychenko and Pepijn Crouzen and Verena Wolf",
booktitle = "{Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages}",
ee = "http://arxiv.org/abs/1006.4425",
pages = "1",
series = "{EPTCS}",
title = "{On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models}",
volume = 57,
year = 2011,
}