Kondo Masahumi
   Department     ,
   Position  
Article types 原著
Language English
Peer review Peer reviewed
Title Bounded model checking of Time Petri Nets using SAT solver
Journal Formal name:IEICE Electronics Express
Domestic / ForeginDomestic
Volume, Issue, Page 12(2),1-7頁
Author and coauthor Tomoyuki Yokogawa, Masafumi Kondo, Hisashi Miyazaki, Sousuke Amasaki, Yoichiro Sato, Kazutami Arimoto
Publication date 2015/01