@inproceedings{vanit2013analysis,
  title={Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures},
  author={Vanit-Anunchai, Somsak},
  booktitle={1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  year={2013},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

{"_id":"iWsyrau2G8mNAu7AW","bibbaseid":"vanitanunchai-analysisoftwolayerprotocolsdccpsimultaneousopenandholepunchingprocedures-2013","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"booktitle":"1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)","year":"2013","organization":"Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik","bibtex":"@inproceedings{vanit2013analysis,\n title={Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures},\n author={Vanit-Anunchai, Somsak},\n booktitle={1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},\n year={2013},\n organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2013analysis","id":"vanit2013analysis","bibbaseid":"vanitanunchai-analysisoftwolayerprotocolsdccpsimultaneousopenandholepunchingprocedures-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["analysis","two","layer","protocols","dccp","simultaneous","open","hole","punching","procedures","vanit-anunchai"],"title":"Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures","year":2013}