Search results for: Bernd Becker
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 194-208
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5: Verification > 240-255
Formal Methods in System Design > 2011 > 39 > 2 > 185-204