Wyniki wyszukiwania dla: Bernd Finkbeiner
Formal Methods in System Design > 2019 > 54 > 3 > 336-363
Information and Computation > 2017 > 253 > P2 > 181-203
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Tool Support and Prototyping > 273-292
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools II > 271-274
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Composition and Synthesis > 143-158
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 679-682
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – II > 463-466
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 17-32
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