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]
Abstract is missing.