Search results for: Jesse Bingham
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems > 77-92
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 2 > 106-121
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 207-221
Discrete Applied Mathematics > 2007 > 155 > 18 > 2555-2566
Electronic Notes in Theoretical Computer Science > 2005 > 138 > 3 > 37-48