Author: Popel D. V. Yanushkevich S. N.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0005-1179
Source: Automation and Remote Control, Vol.65, Iss.6, 2004-06, pp. : 1018-1032
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Using Word-Level Information in Formal Hardware Verification
By Drechsler R.
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :