Search results for: Gregor Engels
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 329-330
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Model Checking > 76-90
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Invited Papers > 24-38