R. Meyer
2 published titles
A practical approach to verification of mobile systems using net unfoldings
1 edition
- Newcastle University, Computing Science
- 2008
- 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