Federico Chesani, Paola Mello, Marco Montali, Sergio Storari. Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter, editors, Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings. Volume 4594 of Lecture Notes in Computer Science, pages 479-488, Springer, 2007. [doi]
Abstract is missing.