1
Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Other Personal Name(s): “...Wehrheim, Heike....”

Full text 
Favorites
Saved in:
2
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
Other Personal Name(s): “...Wehrheim, Heike...”

Full text 
Favorites
Saved in:
3
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [E-Book] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Other Personal Name(s): “...Wehrheim, Heike...”

Full text 
Favorites
Saved in: