Search results for: Shoham Ben-David
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 363-367
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 427-441
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 60-72
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification > 14-29
Lecture Notes in Computer Science
Formal Methods in System Design > 2015 > 46 > 1 > 81-104
Computer Science - Research and Development > 2013 > 28 > 4 > 279-293
Formal Methods in System Design > 2012 > 40 > 1 > 20-40
Theoretical Computer Science > 2008 > 404 > 3 > 202-218
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 4 > 496-504