E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Reasoning
POPL, 1989.
@inproceedings{POPL-1989-EmersonSS, author = "E. Allen Emerson and Tom Sadler and Jai Srinivasan", booktitle = "{Conference Record of the 16th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/75277.75292", isbn = "0-89791-294-2", pages = "166--178", publisher = "{ACM Press}", title = "{Efficient Temporal Reasoning}", year = 1989, }