Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens. Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 69-84, Springer, 2011. [doi]
Abstract is missing.