DMCA
Alternating-time Temporal Logic (1997)
Cached
Download Links
by
Rajeev Alur
,
Thomas Henzinger
,
Orna Kupferman
Venue: | Journal of the ACM |
Citations: | 620 - 53 self |