Modular Refinement of Hierarchic Reactive Machines (2000)

Cached

Download Links

by Rajeev Alur , Radu Grosu
Venue:IN PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:23 - 7 self