Conference item icon

Conference item

A Refinement Approach to Design and Verification of On−Chip Communication Protocols

Actions


Access Document


Files:
Publisher copy:
10.1109/FMCAD.2008.ECP.22

Authors


Publisher:
IEEE
Host title:
2008 Formal Methods in Computer Aided Design: Portland‚ Oregon‚ USA: 17–20 November 2008
Publication date:
2008-01-01
DOI:
ISBN:
9781424427352
UUID:
uuid:6d26bd8e-07c5-4040-a489-f93f5975b06a
Local pid:
cs:4679
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP