Publications of Amir Pnueli
1985
| and , Checking that finite state concurrent programs satisfy their linear specification, in: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL '85), New Orleans, Louisiana, United States, pages 97--107, ACM, 1985 |
1977
| , The temporal logic of programs, in: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pages 46-57, 1977 |