Title: Specification and proof in real-time CSP
First published: 1993
Subjects: Real-time data processing, Real-time programming
LC classification: QA76.54 .D38 1993