www.prismmodelchecker.org
[KNLM05] R. De Nicola, J.-P. Katoen, D. Latella and M. Massink. Towards a Logic for Performance and Mobility. In A. Cerone and H. Wiklicky (editors), Proc. 3rd Workshop Quantitative Aspects of Programming Languages (QAPL 2005), volume 153 (issue 2) of Electronic Notes in Theoretical Computer Science, pages 161--175, Elsevier. 2006. [bib]
Downloads:  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.

Publications