DocumentCode :
2802143
Title :
Session 11D - Making model checking practical
fYear :
2005
fDate :
6-10 Nov. 2005
Firstpage :
1043
Lastpage :
1044
Keywords :
Design automation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Design, 2005. ICCAD-2005. IEEE/ACM International Conference on
Print_ISBN :
0-7803-9254-X
Type :
conf
DOI :
10.1109/ICCAD.2005.1560215
Filename :
1560215
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2802143
