Academic Thesis

Basic information

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

Title 

Bounded model checking of Time Petri Nets using SAT solver

					

					

						

							

								

									
Bibliography　Type 

									
								

							

						

						
Joint Author

					

					

						

							

								

									
Author 

									
								

							

						

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

					

					

						

							

								

									
Summary 

									
								

							

						

						

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
IEICE ELECTRONICS EXPRESS

					

					

						

							

								

									
Publisher 

									
								

							

						

						
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

					

					

						

							

								

									
Volume 

									
								

							

						

						
12

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
2

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
1

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
7

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
2015/01

					

					

						

							

								

									
Referee 

									
								

							

						

						
Exist

					

					

						

							

								

									
Invited 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						
English

					

					

						

							

								

									
Thesis　Type 

									
								

							

						

						
Research papers (academic journals)

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
DOI 

									
								

							

						

						
10.1587/elex.11.20141112

					

					

						

							

								

									
NAID 

									
								

							

						

						

					

					

						

							

								

									
PMID 

									
								

							

						

						

					

					
					

						

							

								

									
J-GLOBAL ID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCID Put Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID