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