DMCA

Logics and Models of Real Time: A Survey

by Rajeev Alur , Thomas A. Henzinger
Citations:221 - 15 self