Kyo Chul Kang, Kwang-Il Ko. PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. In First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994. pages 328-335, IEEE, 1994. [doi]
@inproceedings{KangK94-0,
title = {PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints},
author = {Kyo Chul Kang and Kwang-Il Ko},
year = {1994},
doi = {10.1109/APSEC.1994.465247},
url = {http://dx.doi.org/10.1109/APSEC.1994.465247},
researchr = {https://researchr.org/publication/KangK94-0},
cites = {0},
citedby = {0},
pages = {328-335},
booktitle = {First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994},
publisher = {IEEE},
isbn = {0-8186-6960-8},
}