Author: Molina M.C. Mendias J.M. Hermida R.
Publisher: Elsevier
ISSN: 1383-7621
Source: Journal of Systems Architecture, Vol.49, Iss.12, 2003-12, pp. : 505-519
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Using Word-Level Information in Formal Hardware Verification
By Drechsler R.
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :