Amanote Research
Register
Sign In
Counterexamples in Probabilistic Model Checking
doi 10.1007/978-3-540-71209-1_8
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Tingting Han
Joost-Pieter Katoen
Publisher
Springer Berlin Heidelberg
