Skip to main content

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