Search results for: Rüdiger Ehlers
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 371-405
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Games and Automata > 272-275
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 261-272
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking > 565-580
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 326-332
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 3 > 367-390
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 209-260
Formal Methods in System Design > 2012 > 40 > 2 > 232-262