Parametric real-time reasoning (1993)

Cached

Download Links

by Rajeev Alur , Thomas A. Henzinger , Moshe Y. Vardi
Venue:IN PROCEEDINGS OF THE 25TH ANNUAL SYMPOSIUM ON THEORY OF COMPUTING
Citations:97 - 6 self