Verification and Refutation of Probabilistic Specifications via Games
M. Kattenbelt and M. Huth
Book Title
Proc. 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS ‘09)
How Published
To appear
Year
2009