A formal method for rule analysis and validation in distributed data aggregation service.
Vlad Serbanescu|Florin Pop|Valentin Cristea|Gabriel Antoniu
| Anthology ID: | DBLP:journals/www/SerbanescuPCA15 |
|---|---|
| Year: | 2015 |
| Venue: | World Wide Web (WWW) |
| Pages: | 1717-1736 |
| URL: | https://doi.org/10.1007/S11280-015-0334-4 |
| DOI: | https://doi.org/10.1007/S11280-015-0334-4 |
| DBLP: | journals/www/SerbanescuPCA15 |
| BibTeX: |
@article{serbanescu-2015-formal,
author = {Vlad Serbanescu and
Florin Pop and
Valentin Cristea and
Gabriel Antoniu},
title = {{A formal method for rule analysis and validation in distributed data aggregation service}},
journal = {World Wide Web (WWW)},
volume = {18},
number = {6},
pages = {1717--1736},
year = {2015},
url = {https://doi.org/10.1007/S11280-015-0334-4},
doi = {https://doi.org/10.1007/S11280-015-0334-4}
}