TY  - RPRT
TI  - Model Checking Markov Population Models by Stochastic Approximations
AU  - Luca Bortolussi
AU  - Roberta Lanciani
AU  - Laura Nenzi
PY  - 2017
UR  - https://arxiv.org/abs/1711.03826
ID  - 1711.03826
ER  -