Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki. An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. In Tetsuo Tamai, editor, Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, Vienna, Austria, September 10-11, 2001. pages 182-185, ACM, 2001. [doi]
@inproceedings{AoshimaSY01,
title = {An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications},
author = {Takenobu Aoshima and Kenji Sakuma and Naoki Yonezaki},
year = {2001},
doi = {10.1145/602461.602505},
url = {https://doi.org/10.1145/602461.602505},
researchr = {https://researchr.org/publication/AoshimaSY01},
cites = {0},
citedby = {0},
pages = {182-185},
booktitle = {Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, Vienna, Austria, September 10-11, 2001},
editor = {Tetsuo Tamai},
publisher = {ACM},
isbn = {978-1-58113-508-4},
}