Electronic Notes in Theoretical Computer Science: Preface

Electronic Notes in Theoretical Computer Science

Volumn 144, Issue 1 SPEC. ISS, 2006, Pages 1-

  Bjesse, Per ^a   Cimatti, Alessandro ^b   Claessen, Koen ^c   Fraer, Ranan ^d   Geist, Danny ^e   Hu, Alan ^f   Zhu, Yunshan ^a   Silva, Joo Marques ^c   McMillan, Ken ^c   Somenzi, Fabio ^g   Biere, Armin ^c   Strichman, Ofer ^c  

^a SYNOPSYS INC   (United States)

^b ITC IRST   (Italy)

^c Intel ^*

^d INTEL CORPORATION   (Israel)

^e IBM   (Israel)

^f UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^g UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 30344471819     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.015     Document Type: Editorial

References (0)