Specification and Analysis of Concurrent Systems
Subtitle: Cosy Approach
Publisher: Springer
Published: 1992-08-20
ISBN-13: 9783540552048