Search results for: Uwe Glässer
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 211-226
Lecture Notes in Computer Science > Business Process Management Workshops > Workshop on Web Service Choreography and Orchestration for Business Process Management > 144-157
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST’99 > Conceptual Frameworks, Methods and Tools > 55-79
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Short Papers > 297-306
Studies in Computational Intelligence > Intelligence and Security Informatics > Access Control, Infrastructure Protection and Privacy > 337-355
Lecture Notes in Computer Science > SDL 2005: Model Driven > Applications and Tools (Short Papers) > 162-173
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 78-94
Lecture Notes in Computer Science > Intelligence and Security Informatics > Criminal and Social Network Analysis > 39-50
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 343-343
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 242-265
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 147-169