Heike Wehrheim
2 published titles
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 Bologna, Italy, June 2006 proceedings
(Contributor)
1 edition
- ISBN: 9783540348931
- Springer
- 2006
- Details
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
(Contributor)
1 edition
- ISBN: 9783319235059
- Springer
- 2015
- Details
