DMCA

PRISM 4.0: Verification of Probabilistic Real-time Systems

by Marta Kwiatkowska , Gethin Norman , David Parker
Citations:220 - 45 self