Nick Coleman (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

1 Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski: Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500

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

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
1		Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski: Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500