Marco Montali

1 book • 1 series

Jan 1, 2010
Cover of Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models (Lecture Notes in Business Information Processing, #56)