Search results for: Pranav Ashar
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 575-580
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 391-408
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 334-347
Lecture Notes in Computer Science > Field-Programmable Logic and Applications From FPGAs to Computing Paradigm > 326-335
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 350-355
Theoretical Computer Science > 2008 > 404 > 3 > 256-274
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 387-396
Integration, the VLSI Journal > 1996 > 20 > 3 > 243-268