Differences

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

Link to this comparison view

blogs:pub2011:runtime_verification_of_ltl-based_declarative_process_models [2012/10/12 16:25]
dschunselaar created
blogs:pub2011:runtime_verification_of_ltl-based_declarative_process_models [2012/10/12 16:45] (current)
dschunselaar [Runtime Verification of LTL-Based Declarative Process Models]
Line 1: Line 1:
 ====== Runtime Verification of LTL-Based Declarative Process Models ====== ====== Runtime Verification of LTL-Based Declarative Process Models ======
  
-Maggi F.M., Westergaard M., Montali M., Aalst W.M.P. van der (2011)\\+MaggiF.M., WestergaardM., MontaliM., AalstW.M.P. van der (2011)\\
 // RV (2011), pp. 131-146// // RV (2011), pp. 131-146//