DMCA

A really temporal logic (1994)

by Rajeev Alur , Thomas A. Henzinger
Venue:J. ACM
Citations:303 - 28 self