Details for the publication abs-1111-4385.

David Spieler, Ernst Moritz Hahn (), Lijun Zhang: Model Checking CSL for Markov Population Models. In Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014, volume 154 of EPTCS, pages 93-107, 2014. DOI BIB