Publication | Closed Access
Automatic verification of competitive stochastic systems
131
Citations
18
References
2013
Year
Stochastic Hybrid SystemEngineeringStochastic SystemVerificationProbabilistic VerificationFormal MethodsSystems EngineeringComputer ScienceAutomatic VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1