コンドウ マサフミ   Kondo Masahumi
  近藤 真史
   所属   川崎医療福祉大学  医療技術学部 臨床工学科
   職種   講師
論文種別 原著
言語種別 英語
査読の有無 査読あり
表題 Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
掲載誌名 正式名:IEICE Transactions on Information and Systems
掲載区分国内
巻・号・頁 103(3),702-705頁
著者・共著者 Nao IGAWA, Tomoyuki YOKOGAWA, Sousuke AMASAKI, Masafumi KONDO, Yoichiro SATO, Kazutami ARIMOTO
発行年月 2020/03/01