Hikaru RYUBA


CTL Model Checking of Time Petri Nets Using Geometric Regions
Tomohiro YONEDA Hikaru RYUBA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/03/25
Vol. E81-D  No. 3  pp. 297-306
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
CTLmodel checkingtime Petri netsgeometric regionformal verification
 Summary | Full Text:PDF(880.7KB)