Yoshiaki TOKITA


A Flexible Verifier of Temporal Properties for LOTOS
Kaoru TAKAHASHI Yoshiaki TOKITA Takehisa TANAKA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/01/25
Vol. E79-D  No. 1  pp. 8-21
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
specificationverificationprotocolLOTOSsoftware tool
 Summary | Full Text:PDF