Real-time logics: complexity and expressiveness (1993)

View PDF

Download Links

by Rajeev Alur , Thomas A. Henzinger
Venue:INFORMATION AND COMPUTATION
Citations:236 - 17 self