Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (2002)

by Marta Kwiatkowska, Gethin Norman, David Parker
Venue:International Journal on Software Tools for Technology Transfer (STTT