Reading Length
Home
Speed Tests
Login
Rance Cleaveland
Identifiers
Open Library
OL4451761A
Books by Rance Cleaveland
Total count: 2
The concurrency workbench
A semantics based tool for the verification of concurrent systems
University of Edinburgh, Laboratory for Foundations of Computer Science
1989-01-01
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer
2019-09-21
