Lucassen, P. G. (1994). A denotational model and composition theorems for a calculus of delay-insensitive specifications. s.n.].
Citace podle Chicago (17th ed.)Lucassen, Paulus Gregorius. A Denotational Model and Composition Theorems for a Calculus of Delay-insensitive Specifications. [S.l.: s.n.], 1994.
Citace podle MLA (8th ed.)Lucassen, Paulus Gregorius. A Denotational Model and Composition Theorems for a Calculus of Delay-insensitive Specifications. s.n.], 1994.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..