Dinh-Duc, Anh-Vu, University of Information Technology, Viet Nam

• Vol. 2, No. 3-4 (Jul-Dec, 2012) - Regular articles
  A New Approach and Tool in Verifying Asynchronous Circuits
  Abstract  PDF