Stamer, HeikoDittmann, Jana2019-08-262019-08-2620063-88579-171-4https://dl.gi.de/handle/20.500.12116/24784deVerifikation von Ping-Pong Protokollen in Zeit O ( n2)Text/Conference Paper1617-5468