A Really Temporal Logic (1989)

Download From

IEEE
Download from IEEE

Download Links

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