Logo des Repositoriums
 

Verifikation von Ping-Pong Protokollen in Zeit O ( n2)

dc.contributor.authorStamer, Heiko
dc.contributor.editorDittmann, Jana
dc.date.accessioned2019-08-26T11:23:00Z
dc.date.available2019-08-26T11:23:00Z
dc.date.issued2006
dc.identifier.isbn3-88579-171-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/24784
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-77
dc.titleVerifikation von Ping-Pong Protokollen in Zeit O ( n2)de
dc.typeText/Conference Paper
gi.citation.endPage293
gi.citation.publisherPlaceBonn
gi.citation.startPage283
gi.conference.date20.-22. Februar 2006
gi.conference.locationMagdeburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings-77-34.pdf
Größe:
4.42 MB
Format:
Adobe Portable Document Format