Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari

Browse the full AIME paper archive.