DocumentCode
2372600
Title
Author index
fYear
2007
fDate
11-14 Nov. 2007
Firstpage
239
Lastpage
244
Abstract
The author index contains an entry for each author and coauthor included in the proceedings record.
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer Aided Design, 2007. FMCAD '07
Conference_Location
Austin, TX, USA
Print_ISBN
978-0-7695-3023-9
Type
conf
DOI
10.1109/FAMCAD.2007.46
Filename
4402007
Link To Document