Orna Lichtenstein
First name(s): Orna
Last name(s): Lichtenstein

Publications of Orna Lichtenstein
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