@article{weko_60184_1,
   author	 = "Michio,Murakami and Yasuaki,Ozawa",
   title	 = "A Fault Detecting Pattern Generation Procedure for a Sequential Circuit",
   journal	 = "Information Processing in Japan",
   year 	 = "1973",
   volume	 = "13",
   number	 = "0",
   pages	 = "161--164",
   month	 = "jan"
}