DMCA

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (1985)

by E. Allen Emerson , Joseph Y. Halpern
Citations:188 - 4 self