Search results for: Panagiotis Manolios
Requirements Engineering > 2019 > 24 > 3 > 341-364
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking > 54-66
Lecture Notes in Computer Science > Computer Aided Verification > Session X: Constraints and Decisions > 303-306
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 363-366
Lecture Notes in Computer Science > Tests and Proofs > Test Generation Using Proof Techniques > 101-116
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 181-198
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 4-9
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Biological Systems > 339-342
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures and Theorem Proving > 398-412