MISC

Basic information

Name Sato Yoichiro
Belonging department
Occupation name
researchmap researcher code 1000035611
researchmap agency Okayama University of Science

Title 

Algebraic Specification of Sequential Circuit with an Unfixed Number of Modules and Its Verification

					

					

						

							

								

									
Bibliography怀Type 

									
								

							

						

						
 

					

					

						

							

								

									
Author 

									
								

							

						

						
 

					

					

						

							

								

									
Summary 

									
								

							

						

						
 

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
The Transactions of the Institute of Electronics, Information and Communication Engineers(DI)

					

					

						

							

								

									
Publisher 

									
								

							

						

						
 

					

					

						

							

								

									
Volume 

									
								

							

						

						
J76-D-I

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
11

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
594

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
603

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
1993

					

					

						

							

								

									
Referee 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Request 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						
 

					

					

						

							

								

									
Posting type 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
DOI 

									
								

							

						

						
 

					

					

						

							

								

									
NAID 

									
								

							

						

						
 

					

					

						

							

								

									
PMID 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
J-GLOBAL ID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCID Put Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID