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
- Volume:
- 2015 Volume 18 Issue 6
- Year:
- 2015
- Venue:
- wwwjournals_journal
- Pages:
- 1717–1736
- URL:
- https://doi.org/10.1007/s11280-015-0334-4
- DOI:
- 10.1007/s11280-015-0334-4
- DBLP:
- journals/www/SerbanescuPCA15