Amir Pnueli
First name(s): Amir
Last name(s): Pnueli

Publications of Amir Pnueli
Orna Lichtenstein and Amir Pnueli, 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
Amir Pnueli, The temporal logic of programs, in: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pages 46-57, 1977