Hristina Palikareva : Publications
|
[1] |
Faster FDR Counterexample Generation Using SAT-Solving H. Palikareva, J. Ouaknine and A. W. Roscoe In Liam O'Reilly and 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) |