Formal Reasoning on Natural Language Descriptions of Processes.

Josep Snchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Llus Padr

Browse the full BPM paper archive.