Asynchronous Sequential Switching Circuits with Unrestricted Input Changes
From MaRDI portal
Publication:5646782
DOI10.1109/T-C.1971.223155zbMath0236.94025MaRDI QIDQ5646782
Publication date: 1971
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Related Items (3)
On specifications and proofs of timed circuits ⋮ Gate circuits in the algebra of transients ⋮ Newtonian arbiters cannot be proven correct
This page was built for publication: Asynchronous Sequential Switching Circuits with Unrestricted Input Changes