The Specification and Execution of Heterogeneous Synchronous Reactive Systems (1995)

by Stephen A. Edwards
Venue:University of California, Berkeley
Citations:50 - 0 self