Nick Coleman (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan: Proving the correctness of the interlock mechanism in processor design. CHARME 1997: 5-22

Selection of 1 from 4 records - Nick Coleman has 12 coauthors