Max Tuengerthal. Modulare Analyse praxisrelevanter Sicherheitsprotokolle in UC-Modellen. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2013. Volume D-14 of LNI, pages 281-290, GI, 2013.
@inproceedings{Tuengerthal13,
title = {Modulare Analyse praxisrelevanter Sicherheitsprotokolle in UC-Modellen},
author = {Max Tuengerthal},
year = {2013},
researchr = {https://researchr.org/publication/Tuengerthal13},
cites = {0},
citedby = {0},
pages = {281-290},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
editor = {Steffen Hölldobler},
volume = {D-14},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-418-9},
}