Hardware specification, verification and synthesis: mathematical aspects. Mathematical Sciences Institute workshop, Ithaca, NY, USA, July 5--7, 1989. Proceedings
From MaRDI portal
Publication:1188591
zbMath0799.68018MaRDI QIDQ1188591
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) General theory of computer systems (68M01)
Related Items (2)
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms ⋮ Functional verification of high performance adders in \textsc{Coq}
This page was built for publication: Hardware specification, verification and synthesis: mathematical aspects. Mathematical Sciences Institute workshop, Ithaca, NY, USA, July 5--7, 1989. Proceedings
