A formal method for rule analysis and validation in distributed data aggregation service

Vlad Nicolae Serbanescu, Florin Pop, Valentin Cristea, Gabriel Antoniu. A formal method for rule analysis and validation in distributed data aggregation service. World Wide Web, 18(6):1717-1736, 2015. [doi]

Authors

Vlad Nicolae Serbanescu

This author has not been identified. Look up 'Vlad Nicolae Serbanescu' in Google

Florin Pop

This author has not been identified. Look up 'Florin Pop' in Google

Valentin Cristea

This author has not been identified. Look up 'Valentin Cristea' in Google

Gabriel Antoniu

This author has not been identified. Look up 'Gabriel Antoniu' in Google