Logics and Models of Real Time: A Survey

by Rajeev Alur , Thomas A. Henzinger
Citations:183 - 16 self