Orna Lichtenstein, Amir Pnueli
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification
POPL, 1985.
@inproceedings{POPL-1985-LichtensteinP,
author = "Orna Lichtenstein and Amir Pnueli",
booktitle = "{Conference Record of the 12th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/318593.318622",
editor = "Mary S. Van Deusen and Zvi Galil and Brian K. Reid",
isbn = "0-89791-147-4",
pages = "97--107",
publisher = "{ACM Press}",
title = "{Checking That Finite State Concurrent Programs Satisfy Their Linear Specification}",
year = 1985,
}