Search results for: Jochen Eisinger
Lecture Notes in Computer Science > Computer Aided Verification > Session X: Constraints and Decisions > 307-310
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 223-236
Formal Methods in System Design > 2008 > 33 > 1-3 > 85-115