Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
ROIG O.,Formal Verification and Testing of Asynchronous Circuits,"Ph. D. thesis, Universitat Politecnica de Catalunya",,,1997,,,,https://cir.nii.ac.jp/crid/1574231873784652672,