BibTeX record conf/apn/Kristensen14

download as .bib file

@inproceedings{DBLP:conf/apn/Kristensen14,
  author    = {Lars Michael Kristensen},
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {An Approach for the Engineering of Protocol Software from Coloured
               Petri Net Models: {A} Case Study of the {IETF} WebSocket Protocol},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering, co-located with 35th International Conference on Application
               and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
               International Conference on Application of Concurrency to System Design
               {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1160},
  pages     = {13--14},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160/paper1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/apn/Kristensen14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics