scientific article
From MaRDI portal
Publication:3753931
zbMATH Open0612.94017MaRDI QIDQ3753931
Publication date: 1986
Title of this publication is not available (Why is that?)
predicate calculusspecificationhardware verificationgatessequential machinesynchronous circuitflipflops
Related Items (2)
Synchronizability for Verification of Asynchronously Communicating Systems ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753931)
