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]
No reviews for this publication, yet.