Differences

This shows you the differences between two versions of the page.

Link to this comparison view

blogs:pub2011:monitoring_business_constraints_with_linear_temporal_logic_an_approach_based_on_colored_automata [2012/10/12 16:31]
dschunselaar created
blogs:pub2011:monitoring_business_constraints_with_linear_temporal_logic_an_approach_based_on_colored_automata [2012/10/12 16:46] (current)
dschunselaar [Monitoring Business Constraints with Linear Temporal Logic An Approach Based on Colored Automata]
Line 1: Line 1:
 ====== Monitoring Business Constraints with Linear Temporal Logic An Approach Based on Colored Automata ====== ====== 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)\\+MaggiF.M., MontaliM., WestergaardM., AalstW.M.P. van der (2011)\\
 //BPM (2011), pp. 132-147// //BPM (2011), pp. 132-147//