佐藤　洋一郎（ｻﾄｳﾖｳｲﾁﾛｳ）｜論文

論文

基本情報

氏名	佐藤　洋一郎
氏名（カナ）	ｻﾄｳﾖｳｲﾁﾛｳ
氏名（英語）	Sato Yoichiro
所属	機構研究社会連携機構研究社会連携ｾﾝﾀｰ
職名	教授
researchmap研究者コード	1000035611
researchmap機関	岡山理科大学

題名

Interpolation Based Unbounded Model Checking for Time Petri Nets

単著・共著の別

著者

Nao Igawa
Tomoyuki Yokogawa
Sousuke Amasaki
Kiyotaka Komoku
Yoichiro Sato
Kazutami Arimoto

概要

発表雑誌等の名称

Proc. of Global Conference on Consumer Electronics (GCCE)

出版者

巻

号

開始ページ

終了ページ

発行又は発表の年月

2018-10

査読の有無

有り

招待の有無

無し

記述言語

英語

掲載種別

研究論文（国際会議プロシーディングス）

ISSN

ID:DOI

ID:NAID(CiNiiのID)

ID:PMID

URL

JGlobalID

arXiv ID

ORCIDのPut Code

DBLP ID