User menu

An Explanatory Presentation of Composition Rules for Assumption-commitment Specifications

Bibliographic reference Collette, P.. An Explanatory Presentation of Composition Rules for Assumption-commitment Specifications. In: Information Processing Letters, Vol. 50, no. 1, p. 31-35 (1994)
Permanent URL http://hdl.handle.net/2078.1/48720