DMCA
The Specification and Execution of Heterogeneous Synchronous Reactive Systems (1995)
by
Stephen A. Edwards
Venue: | University of California, Berkeley |
Citations: | 58 - 0 self |