@InProceedings{vanitanunchai:OASIcs.FSFMA.2013.3,
author = {Vanit-Anunchai, Somsak},
title = {{Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures}},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
pages = {3--17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-56-9},
ISSN = {2190-6807},
year = {2013},
volume = {31},
editor = {Choppy, Christine and Sun, Jun},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.3},
URN = {urn:nbn:de:0030-drops-40846},
doi = {10.4230/OASIcs.FSFMA.2013.3},
annote = {Keywords: Network Address Translators, Coloured Petri Nets, Sweep-line Method, Prioritized Transitions}
}