%0 Journal Article %1 journals/ia/AnconaBFM15 %A Ancona, Davide %A Briola, Daniela %A Ferrando, Angelo %A Mascardi, Viviana %D 2015 %J Intelligenza Artificiale %K dblp %N 2 %P 131-148 %T Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. %U http://dblp.uni-trier.de/db/journals/ia/ia9.html#AnconaBFM15 %V 9

@article{journals/ia/AnconaBFM15, added-at = {2016-01-12T00:00:00.000+0100}, author = {Ancona, Davide and Briola, Daniela and Ferrando, Angelo and Mascardi, Viviana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22b53a0a42da665049ed70f032549d465/dblp}, ee = {http://dx.doi.org/10.3233/IA-150084}, interhash = {7d961ee5e96edbaac0506cb1621efd95}, intrahash = {2b53a0a42da665049ed70f032549d465}, journal = {Intelligenza Artificiale}, keywords = {dblp}, number = 2, pages = {131-148}, timestamp = {2016-02-02T09:55:41.000+0100}, title = {Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.}, url = {http://dblp.uni-trier.de/db/journals/ia/ia9.html#AnconaBFM15}, volume = 9, year = 2015 }