Tom Melham: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
A Refinement Approach to Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
In Proceedings of the Eighth Conference on Formal Methods in Computer-Aided Design (FMCAD'08) IEEE Computer Society, 2008.
to appear.
Details
|
BibTeX
|
|
[2]
|
Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
No. RR-08-05, Technical Report, OUCL. 2008.
Details
|
BibTeX
| Download (pdf) |
|
