Specification and analysis of concurrent systems：the Cosy approach

Main Authors: Janicki Ryszard.
Group Author: Lauer Peter E., 1934-
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: N94/J33/