Search results for: Tevfik Bultan
Automated Software Engineering > 2019 > 26 > 2 > 379-416
Theoretical Computer Science > 2016 > 656 > PA > 60-75
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Analysis > 322-336
Lecture Notes in Computer Science > Implementation and Application of Automata > Regular Papers > 188-200
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic State Spaces and Decision Diagrams > 394-408
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 286-301
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 154-157
Lecture Notes in Computer Science > Service-Oriented Computing > Validation and Verification > 516-530
Lecture Notes in Computer Science > Web Services, E-Business, and the Semantic Web > e-Services and the Semantic Web > 188-202