Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach

Lecture Notes in Business Information Processing

Volumn 56 LNBI, Issue , 2010, Pages

[No Author Info available]

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84911359819     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Review

References (0)