Search results for: Sebastian Nanz
Computer Languages, Systems & Structures > 2017 > 48 > C > 68-88
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Formal Methods in Security I > 203-218
Lecture Notes in Computer Science > Coordination Models and Languages > Semantic Models and Calculi > 106-122
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 333-347
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object Orientation and Model Driven Engineering > 597-612
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 333-347
Information and Software Technology > 2013 > 55 > 7 > 1304-1315
2012 19th Asia-Pacific Software Engineering Conference > 1 > 462 - 471
Information and Computation > 2010 > 208 > 2 > 117-139