Search results for: Ernie Cohen
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 480-494
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 489-504
Electronic Notes in Theoretical Computer Science > 2009 > 254 > Complete > 85-103
Formal Methods in System Design > 2006 > 28 > 3 > 263-289