BibTeX record conf/intenv/VannucchiDMCCCG17

download as .bib file

@inproceedings{DBLP:conf/intenv/VannucchiDMCCCG17,
  author    = {Claudia Vannucchi and
               Michelangelo Diamanti and
               Gianmarco Mazzante and
               Diletta Romana Cacciagrano and
               Flavio Corradini and
               Rosario Culmone and
               Nikos Gorogiannis and
               Leonardo Mostarda and
               Franco Raimondi},
  title     = {vIRONy: {A} Tool for Analysis and Verification of {ECA} Rules in Intelligent
               Environments},
  booktitle = {2017 International Conference on Intelligent Environments, {IE} 2017,
               Seoul, Korea (South), August 21-25, 2017},
  pages     = {92--99},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/IE.2017.32},
  doi       = {10.1109/IE.2017.32},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/intenv/VannucchiDMCCCG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics