www.prismmodelchecker.org
[Hec05] R. Heckel. Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. In Proc. 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC'05), volume 3722 of LNCS, Springer. October 2005. http://www.cs.le.ac.uk/people/rh122/papers/2005/Hec05ICTAC.pdf
Notes: The original publication is available at www.springerlink.com.

Publications