Related Work and Summary

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_7 ◽

2010 ◽

pp. 163-173

Author(s):

Marco Montali

Download Full-text