Data Quality through Model Checking Techniques

Mario Mezzanzanica, Roberto Boselli, Mirko Cesarini, Fabio Mercorio. Data Quality through Model Checking Techniques. In João Gama, Elizabeth Bradley, Jaakko Hollmén, editors, Advances in Intelligent Data Analysis X - 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedings. Volume 7014 of Lecture Notes in Computer Science, pages 270-281, Springer, 2011. [doi]

Abstract

Abstract is missing.