Temopral and Modal Logic, (1990)

by E A Emerson
Venue:In J. Van Leeuwen, Editor, Handbook of Theoretical Computer Science,