Specification and Verification of Declarative Open Interaction Models
Subtitle: A Logic-Based Approach
Publisher: Springer
Published: Mar 23, 2011
Format: paperback
Number of pages: 436
ISBN-13: 9783642145391
Notes: Source title: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach