Martin Kooij. Interface specification with temporal logic. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 104-110, ACM, 1989. [doi]
@inproceedings{Kooij89,
title = {Interface specification with temporal logic},
author = {Martin Kooij},
year = {1989},
doi = {10.1145/75200.75216},
url = {https://doi.org/10.1145/75200.75216},
researchr = {https://researchr.org/publication/Kooij89},
cites = {0},
citedby = {0},
pages = {104-110},
booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989},
editor = {Sol J. Greenspan},
publisher = {ACM},
isbn = {978-0-89791-305-8},
}