www.prismmodelchecker.org
[PHW05] A. Di Pierro, C. Hankin and H. Wiklicky. Continuous-Time Probabilistic KLAIM. In R. Focardi and G. Zavattaro (editors), 2nd Int. Workshop Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), volume 128 (issue 5) of Electronic Notes in Theoretical Computer Science, pages 27--38, Elsevier. 2004. [bib]
Downloads:  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.

Publications