コンドウ マサフミ   Kondo Masahumi
  近藤 真史
   所属   川崎医療福祉大学  医療技術学部 臨床工学科
   職種   講師
論文種別 原著
言語種別 英語
査読の有無 査読あり
表題 Bounded model checking of Time Petri Nets using SAT solver
掲載誌名 正式名:IEICE Electronics Express
掲載区分国内
巻・号・頁 12(2),1-7頁
著者・共著者 Tomoyuki Yokogawa, Masafumi Kondo, Hisashi Miyazaki, Sousuke Amasaki, Yoichiro Sato, Kazutami Arimoto
発行年月 2015/01