It’s about Time: Real-time Logics Reviewed (1998)

by Thomas A. Henzinger
Venue:In Proc. CONCUR’98
Citations:40 - 0 self