Search results for: Gerhard Goos
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 177-202
Lecture Notes in Computer Science > Perspectives of System Informatics > Model & Program Checking > 481-492
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science