Real-time logics: complexity and expressiveness (1993)

Cached

Download Links

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