Search results for: Alfons Geser
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 605-619
Lecture Notes in Computer Science > ESOP 86 > 339-350
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 449-459
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 267-280
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 237-248
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 167-182
Lecture Notes in Computer Science > Implementation and Application of Automata > Contributed Papers > 134-145