Specification and Verification of Declarative Open Interaction Models

Format:: e-book
Title:: Specification and Verification of Declarative Open Interaction Models
Author:: Montali, Marco; Mylopoulos, John; Sadeh, Norman M.
Language:: English
Publisher:: Springer Berlin Heidelberg 2010
ISBN:: 3-642-14537-X
9786612925894
1-282-92589-X
3-642-14538-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:2550000000015608?locale=en