A Specification Methodology by a Collection of Compact Properties as Applied to the Intel:::®::: Itanium:::TM::: Processor Bus Protocol

Kanna Shimizu, David L. Dill, Ching-Tsun Chou. A Specification Methodology by a Collection of Compact Properties as Applied to the Intel:::®::: Itanium:::TM::: Processor Bus Protocol. In Tiziana Margaria, Thomas F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings. Volume 2144 of Lecture Notes in Computer Science, pages 340-354, Springer, 2001. [doi]

Authors

Kanna Shimizu

This author has not been identified. Look up 'Kanna Shimizu' in Google

David L. Dill

This author has not been identified. Look up 'David L. Dill' in Google

Ching-Tsun Chou

This author has not been identified. Look up 'Ching-Tsun Chou' in Google