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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.