This is an old revision of the document!


Monitoring Business Constraints with Linear Temporal Logic An Approach Based on Colored Automata

Maggi F.M., Montali M., Westergaard M., Aalst W.M.P. van der (2011)
BPM (2011), pp. 132-147

Download PDF