Parallel probabilistic model checking on
β
Dragan BoΕ‘naΔki; Stefan Edelkamp; Damian Sulewski; Anton Wijs
π
Article
π
2010
π
Springer
π
English
β 318 KB