Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi. vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. In 2017 International Conference on Intelligent Environments, IE 2017, Seoul, Korea (South), August 21-25, 2017. pages 92-99, IEEE, 2017. [doi]
@inproceedings{VannucchiDMCCCG17,
title = {vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments},
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},
year = {2017},
doi = {10.1109/IE.2017.32},
url = {https://doi.org/10.1109/IE.2017.32},
researchr = {https://researchr.org/publication/VannucchiDMCCCG17},
cites = {0},
citedby = {0},
pages = {92-99},
booktitle = {2017 International Conference on Intelligent Environments, IE 2017, Seoul, Korea (South), August 21-25, 2017},
publisher = {IEEE},
isbn = {978-1-5386-1920-9},
}