DocumentCode :
2271087
Title :
Session 6: Formal verification
fYear :
2007
fDate :
7-9 Nov. 2007
Firstpage :
105
Lastpage :
106
Keywords :
Formal verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Level Design Validation and Test Workshop, 2007. HLVDT 2007. IEEE International
Conference_Location :
Irvine, CA, USA
ISSN :
1552-6674
Print_ISBN :
978-1-4244-1480-2
Type :
conf
DOI :
10.1109/HLDVT.2007.4392795
Filename :
4392795
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2271087
