Automatic verification of sequential circuit designs Abstract Publication: Philosophical Transactions of the Royal Society of London Series A Pub Date: April 1992 DOI: 10.1098/rsta.1992.0028 Bibcode: 1992RSPTA.339..105C