E. Allen Emerson, Chin-Laung Lei
Modalities for Model Checking: Branching Time Strikes Back
POPL, 1985.
@inproceedings{POPL-1985-EmersonL,
author = "E. Allen Emerson and Chin-Laung Lei",
booktitle = "{Conference Record of the 12th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/318593.318620",
editor = "Mary S. Van Deusen and Zvi Galil and Brian K. Reid",
isbn = "0-89791-147-4",
pages = "84--96",
publisher = "{ACM Press}",
title = "{Modalities for Model Checking: Branching Time Strikes Back}",
year = 1985,
}