Bochmann, G. V.,
Hilscher, M.,
Linker, S. &
Olderog, E-R.,
4/11/2015,
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham:
Springer,
p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review