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
Citations:137 - 26 self