Kondo Masahumi
   Department     ,
   Position  
Article types 原著
Language English
Peer review Peer reviewed
Title Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
Journal Formal name:IEICE Transactions on Information and Systems
Domestic / ForeginDomestic
Volume, Issue, Page 103(3),702-705頁
Author and coauthor Nao IGAWA, Tomoyuki YOKOGAWA, Sousuke AMASAKI, Masafumi KONDO, Yoichiro SATO, Kazutami ARIMOTO
Publication date 2020/03/01