Search results for: Wolfgang Thomas
Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 63--88
Respiratory Research > 2019 > 20 > 1 > 1-9
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Session 2.4 > 521-535
Lecture Notes in Computer Science > SOFSEM 2008: Theory and Practice of Computer Science > Invited Talks > 118-123
Lecture Notes in Computer Science > Implementation and Application of Automata > Regular Papers > 11-22
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 559-568
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 262-272
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 162-177
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Theory > 361-373
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 130-141
Lecture Notes in Computer Science > Developments in Language Theory > Invited Presentations > 130-144