Specification and proof in real-time CSP
著者
書誌事項
Specification and proof in real-time CSP
(Distinguished dissertations in computer science, 6)
Cambridge University Press, 2011, c1993
- : pbk
注記
First published: 1993
Includes bibliographical references (p. [175]-180)