@article{weko_11226_1,
   author	 = "Metehan,&Oumlzcan and Masashi,Imai and Hiroshi,Nakamura and Takashi,Nanya",
   title	 = "Verification and Violation Correction of Timing Constraints for Gate-Level Asynchronous Circuits",
   journal	 = "情報処理学会論文誌",
   year 	 = "2003",
   volume	 = "44",
   number	 = "5",
   pages	 = "1244--1254",
   month	 = "may"
}