BibTeX record conf/apn/Kristensen14

download as .bib file

@inproceedings{DBLP:conf/apn/Kristensen14,
  author    = {Lars Michael Kristensen},
  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},
  pages     = {13--14},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014pnse},
  url       = {http://ceur-ws.org/Vol-1160/paper1.pdf},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/Kristensen14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014pnse,
  editor    = {Daniel Moldt and
               Heiko R{\"{o}}lke},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1160},
  urn       = {urn:nbn:de:0074-1160-3},
  timestamp = {Tue, 28 May 2019 16:23:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics