Reinhard Gotzhein
3 published titles
Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Ka
(Contributor)
1 edition
- ISBN: 041279490X
- Chapman & Hall on behalf of the International Federation for Information Processing
- 1996
- Details
System analysis and modeling: language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31-June 2, 2006 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783540683711
- Springer
- 2006
- Details
System analysis and modeling : theory and practice : 7th international workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised, selected papers
(Contributor)
1 edition
- ISBN: 9783642367564
- Springer
- 2013
- Details
