Showing 1 - 3 results of 3 for search 'Wehrheim, Heike', query time: 0.02s Refine Results
  1. 1
    Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Other Authors: “…Wehrheim, Heike…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Published 2009
    Other Authors: “…Wehrheim, Heike…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Published 2015
    Other Authors: “…Wehrheim, Heike…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search