Skip to main content

Specification and Proof in Real−time CSP

J. Davies

ISBN
9780521450553
Publisher
Cambridge University Press
Year
1993