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