Search results for: Sven Schewe
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 325-349
Journal of Computer and System Sciences > 2017 > 84 > C > 243-262
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Automata Theory > 167-181
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 245-259
Acta Informatica > 2017 > 54 > 7 > 625-654
IEEE Transactions on Software Engineering > 2016 > 42 > 7 > 605 - 622
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Composition and Synthesis > 143-158
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 449-460
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – II > 463-466
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 200-214
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Decidability and Complexity > 263-277
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Security and Synthesis > 127-142
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 268-283
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 474-488