Armin Zundel. Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm. PhD thesis, Karlsruhe Institute of Technology, Germany, 1998. [doi]
@phdthesis{dnb-13672,
title = {Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm},
author = {Armin Zundel},
year = {1998},
url = {http://d-nb.info/953293734},
researchr = {https://researchr.org/publication/dnb-13672},
cites = {0},
citedby = {0},
school = {Karlsruhe Institute of Technology, Germany},
}