BibTeX record conf/saso/CianciaGLLM14

download as .bib file

@inproceedings{DBLP:conf/saso/CianciaGLLM14,
  author    = {Vincenzo Ciancia and
               Stephen Gilmore and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking
               of Vehicle Location Data},
  booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  pages     = {32--37},
  year      = {2014},
  crossref  = {DBLP:conf/saso/2014w},
  url       = {https://doi.org/10.1109/SASOW.2014.16},
  doi       = {10.1109/SASOW.2014.16},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/CianciaGLLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saso/2014w,
  title     = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7055964/proceeding},
  isbn      = {978-1-4799-6378-2},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics