CiteSeer.IST Home   Multiple matching documents

Document: Details   Compositional Refinement of Interactive Systems Modelled by Relations (1992) Manfred Broy

Citation: Context   M. Broy. Compositional refinement of reactive systems. Technical Report 89, System Research Center, DEC, 1992.

Citation: Context   M. Broy. Compositional RefinementofInteractive Systems. Technical Report 89, Digital Systems ResearchCenter, Palo Alto, California943[if July 1992.

CiteSeer.IST - Copyright Penn State and NEC