www.prismmodelchecker.org
[Tri98] S. Tripakis. The analysis of timed systems in practice. Ph.D. thesis, Universite Joseph Fourier, Grenoble. 1998. [bib]
Downloads:  bib bib

Publications