Probabilistic symbolic model checking with PRISM: A hybrid approach (2004)

by M Kwiatkowska, G Norman, D Parker
Venue:International Journal on Software Tools for Technology Transfer