BibTeX record conf/dais/SimonsenK14

download as .bib file

@inproceedings{DBLP:conf/dais/SimonsenK14,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen},
  title     = {Implementing the WebSocket Protocol Based on Formal Modelling and
               Automated Code Generation},
  booktitle = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  pages     = {104--118},
  year      = {2014},
  crossref  = {DBLP:conf/dais/2014},
  url       = {https://doi.org/10.1007/978-3-662-43352-2\_9},
  doi       = {10.1007/978-3-662-43352-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/SimonsenK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2014,
  editor    = {Kostas Magoutis and
               Peter R. Pietzuch},
  title     = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8460},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43352-2},
  doi       = {10.1007/978-3-662-43352-2},
  isbn      = {978-3-662-43351-5},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics