DMCA

Probabilistic model checking in practice: Case sudies with PRISM

by Marta Kwiatkowska , Gethin Norman , David Parker
Citations:31 - 9 self