Hristina Palikareva: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Faster FDR Counterexample Generation Using SAT-Solving
H. Palikareva, J. Ouaknine, A. W. Roscoe
In Liam O'Reilly, Markus Roggenbach, editors, AVoCS'09 — PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University, Wales, UK, September 2009.
Details
|
BibTeX
| Link (pdf) |
|
