Pradhan, Dhiraj K.2018-11-152024-06-272018-11-152024-06-272009978-0-511-65091-8https://drs.ess.gov.et/handle/123456789/21890enModel checking and equivalence checkingPractical Design VerificationBook