Specification and analysis of concurrent systems : the cosy approach /

Bibliographic Details
Main Author: Janicki, Ryszard
Other Authors: Lauer, Peter E., 1934-
Format: Book
Published: Berlin : Springer, 1992.
Series:EATCS monographs on theoretical computer science ; v. 26
Subjects: