Modalities for Model Checking: Branching Time Strikes Back.

Journal

Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985

Pages

84-96

Date Issued

1985

Author(s)

Emerson, E. Allen

DOI

URI

URL

Type

conference paper