Graham BirtwistleBooksAsynchronous Digital Circuit DesignIV Higher Order Workshop, Banff 1990Living artCurrent Trends in Hardware Verification and Automated Theorem ProvingVLSI Specification, Verification and SynthesisAuthor data: Open Library