Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/01/25 Vol. E79-DNo. 1 ;
pp. 8-21 Type of Manuscript: PAPER Category: Sofware System Keyword: specification, verification, protocol, LOTOS, software tool,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1995/10/25 Vol. E78-DNo. 10 ;
pp. 1261-1268 Type of Manuscript: PAPER Category: Software Systems Keyword: program differences, tree mapping, pretty-printeng, software tool,