Towards the Use of Model Checking for Performing Data Consistency Evaluation and Cleansing

Mario Mezzanzanica, Mirko Cesarini, Fabio Mercorio, Roberto Boselli. Towards the Use of Model Checking for Performing Data Consistency Evaluation and Cleansing. In Laure Berti-Equille, Isabelle Comyn-Wattiau, Monica Scannapieco, editors, Proceedings of the 17th International Conference on Information Quality, IQ 2012, Paris, France, November 16-17, 2012. pages 163-177, MIT, 2012.

Possibly Related Publications

The following publications are possibly variants of this publication: