DocumentCode
2410966
Title
Verification Of Composed Hardware Systems Using CCS
Author
Schubert, E. Thomas
Author_Institution
University of California
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
88
Lastpage
95
Keywords
Aggregates; Algebra; Carbon capture and storage; Computer science; Concurrent computing; Coprocessors; Fault tolerant systems; Hardware; Logic devices; Microprocessors;
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596276
Filename
596276
Link To Document