{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:40:25Z","timestamp":1778344825027,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642247996","type":"print"},{"value":"9783642248009","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24800-9_26","type":"book-chapter","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T07:29:17Z","timestamp":1319441357000},"page":"270-281","source":"Crossref","is-referenced-by-count":9,"title":["Data Quality through Model Checking Techniques"],"prefix":"10.1007","author":[{"given":"Mario","family":"Mezzanzanica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Boselli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Cesarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Mercorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/1514894.1514899","volume-title":"Proceedings of the 12th International Conference on Database Theory, ICDT 2009","author":"F.N. Afrati","year":"2009","unstructured":"Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent Databases: Algorithms and Complexity. In: Proceedings of the 12th International Conference on Database Theory, ICDT 2009, pp. 31\u201341. ACM, New York (2009)"},{"key":"26_CR2","first-page":"15","volume":"14","author":"J. Barateiro","year":"2005","unstructured":"Barateiro, J., Galhardas, H.: A Survey of Data Quality Tools. Datenbank-Spektrum\u00a014, 15\u201321 (2005)","journal-title":"Datenbank-Spektrum"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1541880.1541883","volume":"41","author":"C. Batini","year":"2009","unstructured":"Batini, C., Cappiello, C., Francalanci, C., Maurino, A.: Methodologies for Data Quality Assessment and Improvement. ACM Comput. Surv.\u00a041, 16:1\u201316:52 (2009)","journal-title":"ACM Comput. Surv."},{"key":"26_CR4","volume-title":"Data-Centric Systems and Applications","author":"C. Batini","year":"2006","unstructured":"Batini, C., Scannapieco, M.: Data Quality: Concepts, Methodologies and Techniques. In: Data-Centric Systems and Applications. Springer, Heidelberg (2006)"},{"issue":"2","key":"26_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and beyond. Inf. Comput.\u00a098(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"26_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"26_CR7","unstructured":"CMurphi web page, http:\/\/www.dsi.uniroma1.it\/~tronci\/cached.murphi.html"},{"key":"26_CR8","unstructured":"CRISP Research Center web page, http:\/\/www.crisp-org.it"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-36580-X_13","volume-title":"Hybrid Systems: Computation and Control","author":"G. Della Penna","year":"2003","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Minichino, M., Ciancamerla, E., Parisse, A., Tronci, E., Venturini Zilli, M.: Automatic Verification of a Turbogas Control System with the Mur\u03d5 Verifier. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 141\u2013155. Springer, Heidelberg (2003)"},{"issue":"2","key":"26_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.cl.2006.11.002","volume":"35","author":"A. Dovier","year":"2009","unstructured":"Dovier, A., Quintarelli, E.: Applying Model-checking to solve Queries on semistructured Data. Computer Languages, Systems & Structures\u00a035(2), 143\u2013172 (2009)","journal-title":"Computer Languages, Systems & Structures"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1577840.1577846","volume":"1","author":"S.M. Embury","year":"2009","unstructured":"Embury, S.M., Missier, P., Sampaio, S., Greenwood, R.M., Preece, A.D.: Incorporating Domain-Specific Information Quality Constraints into Database Queries. J. Data and Information Quality\u00a01, 11:1\u201311:31 (2009)","journal-title":"J. Data and Information Quality"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"1522","DOI":"10.14778\/1454159.1454220","volume":"1","author":"W. Fan","year":"2008","unstructured":"Fan, W., Geerts, F., Jia, X.: A Revival of Integrity Constraints for Data Cleaning. Proc. VLDB Endow.\u00a01, 1522\u20131523 (2008)","journal-title":"Proc. VLDB Endow."},{"key":"26_CR13","volume-title":"Introduction to the Theory of Finite-state Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A.: Introduction to the Theory of Finite-state Machines. McGraw-Hill, New York (1962)"},{"key":"26_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0171-7","volume-title":"Automata Theory and Its Applications","author":"B. Khoussainov","year":"2001","unstructured":"Khoussainov, B., Nerode, A.: Automata Theory and Its Applications. Birkhauser, Boston (2001)"},{"key":"26_CR15","unstructured":"Maletic, J., Marcus, A.: Data cleansing: beyond Integrity Analysis. In: Proceedings of the Conference on Information Quality, pp. 200\u2013209 (2000)"},{"key":"26_CR16","unstructured":"Martini, M., Mezzanzanica, M.: The Federal Observatory of the Labour Market in Lombardy: Models and Methods for the Costruction of a Statistical Information System for Data Analysis. In: Larsen, C., Mevius, M., Kipper, J., Schmid, A. (eds.) Information Systems for Regional Labour Market Monitoring - State of the Art and Prospectives. Rainer Hampp Verlag (2009)"},{"key":"26_CR17","unstructured":"M\u00fcller, H., Freytag, J.C.: Problems, Methods and Challenges in Comprehensive Data Cleansing. Technical Report HUB-IB-164, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik (2003)"},{"key":"26_CR18","unstructured":"Murphi web page, http:\/\/sprout.stanford.edu\/dill\/murphi.html"},{"key":"26_CR19","first-page":"6","volume":"14","author":"M. Scannapieco","year":"2005","unstructured":"Scannapieco, M., Missier, P., Batini, C.: Data Quality at a Glance. Datenbank-Spektrum\u00a014, 6\u201314 (2005)","journal-title":"Datenbank-Spektrum"},{"key":"26_CR20","series-title":"Theoretical Studies in Computer Science","first-page":"153","volume-title":"Automata Theory for Database Theoreticians","author":"M.Y. Vardi","year":"1992","unstructured":"Vardi, M.Y.: Automata Theory for Database Theoreticians. Theoretical Studies in Computer Science, pp. 153\u2013180. Academic Press Professional, Inc., London (1992)"}],"container-title":["Lecture Notes in Computer Science","Advances in Intelligent Data Analysis X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24800-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T12:53:38Z","timestamp":1639313618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24800-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247996","9783642248009"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24800-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}