%0 Journal Article %1 journals/tii/AmatoCMMX21 %A Amato, Flora %A Cozzolino, Giovanni %A Moscato, Francesco %A Moscato, Vincenzo %A Xhafa, Fatos %D 2021 %J IEEE Trans. Ind. Informatics %K dblp %N 11 %P 7752-7759 %T A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment. %U http://dblp.uni-trier.de/db/journals/tii/tii17.html#AmatoCMMX21 %V 17

@article{journals/tii/AmatoCMMX21, added-at = {2021-08-12T00:00:00.000+0200}, author = {Amato, Flora and Cozzolino, Giovanni and Moscato, Francesco and Moscato, Vincenzo and Xhafa, Fatos}, biburl = {https://www.bibsonomy.org/bibtex/2056a0e6bb1aeb4cd111b7ef515f4ee1c/dblp}, ee = {https://doi.org/10.1109/TII.2021.3057595}, interhash = {52ecf202b4e3a2d70c503b566c9cbb04}, intrahash = {056a0e6bb1aeb4cd111b7ef515f4ee1c}, journal = {IEEE Trans. Ind. Informatics}, keywords = {dblp}, number = 11, pages = {7752-7759}, timestamp = {2024-04-08T15:02:46.000+0200}, title = {A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii17.html#AmatoCMMX21}, volume = 17, year = 2021 }