An efficient verification algorithm for parallel controllers

K Bilinski, JM Saul, EL Dagless, Y Szajna

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)
Translated title of the contributionAn efficient verification algorithm for parallel controllers
Original languageEnglish
Title of host publicationUnknown
Pages302 - 397
Number of pages95
Publication statusPublished - 1994

Bibliographical note

Conference Proceedings/Title of Journal: Proc. European Design Automation Conf. EURO-DAC'94, Grenoble, France, 19-23 Sept

Cite this