Ouaknine, Joel, United Kingdom
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Faster FDR Counterexample Generation Using SAT-Solving
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST