David Spieler, Ernst Moritz Hahn, Lijun Zhang
Model Checking CSL for Markov Population Models
QAPL, 2014.
@inproceedings{QAPL-2014-SpielerHZ,
author = "David Spieler and Ernst Moritz Hahn and Lijun Zhang",
booktitle = "{Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.154.7",
pages = "93--107",
series = "{EPTCS}",
title = "{Model Checking CSL for Markov Population Models}",
volume = 154,
year = 2014,
}