IEEE Symposium on Foundations of Computer Science Bibliography IEEE Symposium on Foundations of Computer Science Bibliography Pierre Wolper .
Temporal logic can be more expressive.
A timely resolution. IEEE Computer Society. E. M. Clarke, O. Grumberg, and R. P. Kurshan. A synthesis of two approaches for verifying finite state concurrent systems. E. Allen Emerson, Michael Evangelist, and Jai Srinivasan.