Lucassen, P. G. (1994). A denotational model and composition theorems for a calculus of delay-insensitive specifications. s.n.].
Stile di citazione ChicagoLucassen, Paulus Gregorius. A Denotational Model and Composition Theorems for a Calculus of Delay-insensitive Specifications. [S.l.: s.n.], 1994.
Citazione MLALucassen, Paulus Gregorius. A Denotational Model and Composition Theorems for a Calculus of Delay-insensitive Specifications. s.n.], 1994.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.