Verification of discrete time stochastic
β
Sean Summers; John Lygeros
π
Article
π
2010
π
Elsevier Science
π
English
β 513 KB