Cover von Special issue on industrial practice of formal hardware verification; 2 opens in new tab

Special issue on industrial practice of formal hardware verification; 2

a sampling : S. 95 - 173
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Count: 2
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Search for this author
Year: 2003
Publisher: Boston, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
Volume: 22
Count: 2
Participating parties: Search for this character Gopalakrishnan, Ganesh; Hunt, Warren A.
Media group: SPECIAL ISSUE