MISC

Basic information

Name Kondou Masafumi
Belonging department
Occupation name
researchmap researcher code B000300091
researchmap agency Okayama University of Science

Title 

有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現

					

					

						

							

								

									
Bibliography　Type 

									
								

							

						

						

					

					

						

							

								

									
Author 

									
								

							

						

						
井川直
横川智教
宮崎仁
近藤真史
佐藤洋一郎
有本和民

					

					

						

							

								

									
Summary 

									
								

							

						

						

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
電子情報通信学会技術研究報告(MSS)

					

					

						

							

								

									
Publisher 

									
								

							

						

						

					

					

						

							

								

									
Volume 

									
								

							

						

						
116

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
425

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
59

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
64

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
2017/01

					

					

						

							

								

									
Referee 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Request 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						

					

					

						

							

								

									
Posting type 

									
								

							

						

						

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
DOI 

									
								

							

						

						

					

					

						

							

								

									
NAID 

									
								

							

						

						

					

					

						

							

								

									
PMID 

									
								

							

						

						

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
J-GLOBAL ID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCID Put Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID