Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung. On Model Finding with Constraint Patterns. In Hamido Fujita, George Angelos Papadopoulos, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifteenth SoMeT_16, Larnaca, Cyprus, 12-14 September 2016. Volume 286 of Frontiers in Artificial Intelligence and Applications, pages 279-290, IOS Press, 2016. [doi]
Abstract is missing.