Automatic Verification of Competitive Stochastic Systems
T. Chen‚ V. Forejt‚ M. Kwiatkowska‚ D. Parker and A. Simaitis
Details
| Book Title |
Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) |
| Note |
To appear |
| Year |
2012 |
Links
Related pages
|
People |