DMCA

Automated Verification Techniques for Probabilistic Systems

by Vojtěch Forejt , Marta Kwiatkowska , Gethin Norman , David Parker
Citations:39 - 16 self