論文

基本情報

氏名 近藤　真史
氏名（カナ） ｺﾝﾄﾞｳ ﾏｻﾌﾐ
氏名（英語） Kondou Masafumi
所属 工学部 情報工学科
職名 准教授
researchmap研究者コード B000300091
researchmap機関 岡山理科大学

題名 

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
共著

					

					

						

							

								

									
著者 

									
								

							

						

						
Nao IGAWA
Tomoyuki YOKOGAWA
Sousuke AMASAKI
Masafumi KONDO
Yoichiro SATO
Kazutami ARIMOTO

					

					

						

							

								

									
概要 

									
								

							

						

						

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
IEICE Transactions on Information and Systems

					

					

						

							

								

									
出版者 

									
								

							

						

						

					

					

						

							

								

									
巻 

									
								

							

						

						
103

					

					

						

							

								

									
号 

									
								

							

						

						
3

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
702

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
705

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2020/03

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
有り

					

					

						

							

								

									
招待の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						
英語

					

					

						

							

								

									
掲載種別 

									
								

							

						

						
研究論文（学術雑誌）

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
JGlobalID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID