Search results for: Helmut Seidl
Formal Methods in System Design > 2018 > 53 > 2 > 313-338
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 185-200
eXamen.press > Übersetzerbau > 115-138
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 1136-1149
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 97-119
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification I > 79-96
Lecture Notes in Computer Science > STACS 89 > 480-492
Science of Computer Programming > 2016 > 120 > C > 1-24
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 214-229
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 9. Constraint Analysis > 342-357
Lecture Notes in Computer Science > Efficient Algorithms > Algorithm Engineering, Exactness, and Robustness > 422-437
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation II > 300-315
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 177-191
Lecture Notes in Computer Science > Implementation and Application of Automata > Invited Lectures > 3-3