A Role for Theorem Proving in Multi-Processor Design.

Albert John Camilleri A Role for Theorem Proving in Multi-Processor Design. 45-48 1998 conf/cav/1998 CAV db/conf/cav/cav98.html#Camilleri98 http://dx.doi.org/10.1007/BFb0028730