Search results for: Viktor Schuppan
Theoretical Computer Science > 2016 > 655 > PB > 155-192
Lecture Notes in Computer Science > Computer Aided Verification > Session XVI: SAT and Decision Procedures > 532-546
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 129-145
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 397-413
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking > 493-509
Acta Informatica > 2016 > 53 > 3 > 247-299
Science of Computer Programming > 2012 > 77 > 7-8 > 908-939
Electronic Notes in Theoretical Computer Science > 2006 > 149 > 1 > 79-96
Electronic Notes in Theoretical Computer Science > 2005 > 113 > Complete > 85-104
International Journal on Software Tools for Technology Transfer > 2004 > 5 > 2-3 > 185-204
Electronic Notes in Theoretical Computer Science > 2002 > 66 > 2 > 1-18
Formal Aspects of Computing > 2002 > 14 > 3 > 267-280