Verification and Refutation of Probabilistic Specifications via Games
M. Kattenbelt and M. Huth infobook title | Proc. 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS `09) |
how published | To appear |
year | 2009 |
links
BibTeX
related pages
|
