Heiko Stamer. Verifikation von Ping-Pong Protokollen in Zeit ::::O::::(::::n:::::::2:::). In Jana Dittmann, editor, Sicherheit 2006: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 3. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 20.-22. Februar 2006 in Magdeburg. Volume 77 of LNI, pages 283-293, GI, 2006.
@inproceedings{Stamer06,
title = {Verifikation von Ping-Pong Protokollen in Zeit ::::O::::(::::n:::::::2:::)},
author = {Heiko Stamer},
year = {2006},
researchr = {https://researchr.org/publication/Stamer06},
cites = {0},
citedby = {0},
pages = {283-293},
booktitle = {Sicherheit 2006: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 3. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 20.-22. Februar 2006 in Magdeburg},
editor = {Jana Dittmann},
volume = {77},
series = {LNI},
publisher = {GI},
isbn = {3-88579-171-4},
}