Egon Börger profile picture

Egon Börger

Is this your author profile? Create an account to customize it!

Stand Alone

Subject-Oriented Business Process Management
Java and the Java Virtual Machine
Abstract State Machines 2003. Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Architecture Design and Validation Methods
Berechenbarkeit Komplexität Logik
Berechenbarkeit, Komplexität, Logik
Computer science logic
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)
Architecture Design and Validation Methods
Computer science logic: 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Java and the Java Virtual Machine Definition, Verification, Validation
Modeling Companion for Software Practitioners