@article{vanit2004initial,
  title={Initial result of a formal analysis of DCCP connection management},
  author={Vanit-Anunchai, Somsak and Billington, J},
  journal={Proceedings of INC},
  pages={63--70},
  year={2004}
}

{"_id":"72nCFkvHvg5iAtL9f","bibbaseid":"vanitanunchai-billington-initialresultofaformalanalysisofdccpconnectionmanagement-2004","author_short":["Vanit-Anunchai, S.","Billington, J"],"bibdata":{"bibtype":"article","type":"article","title":"Initial result of a formal analysis of DCCP connection management","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]},{"propositions":[],"lastnames":["Billington"],"firstnames":["J"],"suffixes":[]}],"journal":"Proceedings of INC","pages":"63–70","year":"2004","bibtex":"@article{vanit2004initial,\n title={Initial result of a formal analysis of DCCP connection management},\n author={Vanit-Anunchai, Somsak and Billington, J},\n journal={Proceedings of INC},\n pages={63--70},\n year={2004}\n}\n\n","author_short":["Vanit-Anunchai, S.","Billington, J"],"key":"vanit2004initial","id":"vanit2004initial","bibbaseid":"vanitanunchai-billington-initialresultofaformalanalysisofdccpconnectionmanagement-2004","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["initial","result","formal","analysis","dccp","connection","management","vanit-anunchai","billington"],"title":"Initial result of a formal analysis of DCCP connection management","year":2004}