Naoki Yonezaki, Takao Katayama
Functional Specification of Synchronized Processes Based on Modal Logic
ICSE, 1982.
@inproceedings{ICSE-1982-YonezakiK,
acmid = "807763",
author = "Naoki Yonezaki and Takao Katayama",
booktitle = "{Proceedings of the Sixth International Conference on Software Engineering}",
editor = "Yutaka Ohno and Victor R. Basili and Hajime Enomoto and Koji Kobayashi and Raymond T. Yeh",
pages = "208--217",
publisher = "{IEEE Computer Society}",
title = "{Functional Specification of Synchronized Processes Based on Modal Logic}",
year = 1982,
}