Martin änzle

No bio available. Add one in Open Library.

Books by Martin änzle (50 max)

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2016

Martin änzle, Nicolas Markey

+ shelf+ list

Dependable Software Engineering : Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2016

Martin änzle, Deepak Kapur, Naijun Zhan