Search results for: Olaf Owe
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 158-175
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 202-217
Lecture Notes in Computer Science > Integrated Formal Methods > Combining Graphical and Formal Approaches > 319-338
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 15-30
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 52-67
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object Orientation and Model Driven Engineering > 646-661
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Joint DisCoTec Session > 95-109
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 257-279
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science