Peter E. Lauer

Specification and Analysis of Concurrent Systems: The COSY Approach

1992 · ENGLISH · PDF

View details →