(1993). Specification and proof in real-time CSP / Jim Davies.
Chicago-Zitierstil (17. Ausg.)Specification and Proof in Real-time CSP / Jim Davies. 1993.
MLA-Zitierstil (9. Ausg.)Specification and Proof in Real-time CSP / Jim Davies. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.