(1993). Specification and proof in real-time CSP / Jim Davies.
Cita Chicago (17th ed.)Specification and Proof in Real-time CSP / Jim Davies. 1993.
Cita MLA (9th ed.)Specification and Proof in Real-time CSP / Jim Davies. 1993.
Atenció: Aquestes cites poden no estar 100% correctes.