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