論文

基本情報

氏名 近藤 真史
氏名(カナ) コンドウ マサフミ
氏名(英語) Kondou Masafumi
所属 工学部 情報工学科
職名 准教授
researchmap研究者コード B000300091
researchmap機関 岡山理科大学

題名

Bounded model checking of Time Petri Nets using SAT solver

単著・共著の別

共著

著者

Tomoyuki Yokogawa
Masafumi Kondo
Hisashi Miyazaki
Sousuke Amasaki
Yoichiro Sato
Kazutami Arimoto

概要

発表雑誌等の名称

IEICE ELECTRONICS EXPRESS

出版者

IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

12

2

開始ページ

1

終了ページ

7

発行又は発表の年月

2015/01

査読の有無

有り

招待の有無

無し

記述言語

英語

掲載種別

研究論文(学術雑誌)

ISSN

ID:DOI

10.1587/elex.11.20141112

ID:NAID(CiNiiのID)

ID:PMID

JGlobalID

arXiv ID

ORCIDのPut Code

DBLP ID