Pages that link to "Item:Q1188591"

The following pages link to Hardware specification, verification and synthesis: mathematical aspects. Mathematical Sciences Institute workshop, Ithaca, NY, USA, July 5--7, 1989. Proceedings (Q1188591):

Displaying 2 items.

• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
• Functional verification of high performance adders in \textsc{Coq} (Q2336214) (← links)