@techreport{weko_147213_1,
   author	 = "Mitsunori,Ogihara and Kei,Uchizawa",
   title	 = "Synchronous Boolean Finite Dynamical Systems and Minimum Circuit Size Problem",
   year 	 = "2016",
   institution	 = "Department of Computer Science, University of Miami, Faculty of Engineering, Yamagata University",
   number	 = "5",
   month	 = "jan"
}