BibTeX record conf/iswpc/SomappaKO13

download as .bib file

@inproceedings{DBLP:conf/iswpc/SomappaKO13,
  author       = {Admar Ajith Kumar Somappa and
                  Lars Michael Kristensen and
                  Knut {\O}vsthus},
  title        = {A formal executable specification of the GinMAC protocol for Wireless
                  Sensor Actuator Networks},
  booktitle    = {International Symposium on Wireless and pervasive Computing, {ISWPC}
                  2013, Taipei, Taiwan, November 20-22, 2013},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ISWPC.2013.6707433},
  doi          = {10.1109/ISWPC.2013.6707433},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iswpc/SomappaKO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}