Miyazaki Hisashi
   Department     ,
   Position  
Article types 原著
Language Japanese
Peer review Non peer reviewed
Title Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking
Volume, Issue, Page 116(425),59-64頁
Author and coauthor Nao Igawa, Tomoyuki Yokogawa, Hisashi Miyazaki, Masafumi Kondo, Yoichiro Sato, Kazutami Arimoto
Publication date 2017/01