DMCA

A Really Temporal Logic (1989)

by Rajeev Alur , Thomas A. Henzinger
Venue:Journal of the ACM
Citations:301 - 28 self