Specification and Verification of Declarative Open Interaction Models
Subtitle: A Logic-Based Approach
Publisher: Springer
Published: 2010
Language: eng
ISBN-13: 9783642145384