Branching time temporal logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

E. Allen Emerson, Jai Srinivasan. Branching time temporal logic. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Volume 354 of Lecture Notes in Computer Science, pages 123-172, Springer, 1988.

This author has not been identified. Look up 'E. Allen Emerson' in GoogleThis author has not been identified. Look up 'Jai Srinivasan' in Google

runs on WebDSL