www.prismmodelchecker.org
[HLM04] R. Heckel, G. Lajios and S. Menge. Stochastic Graph Transformation Systems. In Proc. 2nd International Conference on Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 210-225, Springer. October 2004. [bib] http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=210
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications