@inproceedings{vanit2008towards,
  title={Towards formal modelling and analysis of SCTP connection management},
  author={Vanit-Anunchai, Somsak},
  booktitle={Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
  year={2008},
  organization={Citeseer}
}

{"_id":"Ktr8WhRZjpfEvQvAD","bibbaseid":"vanitanunchai-towardsformalmodellingandanalysisofsctpconnectionmanagement-2008","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards formal modelling and analysis of SCTP connection management","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"booktitle":"Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools","year":"2008","organization":"Citeseer","bibtex":"@inproceedings{vanit2008towards,\n title={Towards formal modelling and analysis of SCTP connection management},\n author={Vanit-Anunchai, Somsak},\n booktitle={Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},\n year={2008},\n organization={Citeseer}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2008towards","id":"vanit2008towards","bibbaseid":"vanitanunchai-towardsformalmodellingandanalysisofsctpconnectionmanagement-2008","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["towards","formal","modelling","analysis","sctp","connection","management","vanit-anunchai"],"title":"Towards formal modelling and analysis of SCTP connection management","year":2008}