Cited By
View all- Kljaich JSmith BWojcik A(1989)Formal Verification of Fault Tolerance Using Theorem-Proving TechniquesIEEE Transactions on Computers10.1109/12.2112338:3(366-376)Online publication date: 1-Mar-1989
- Lathrop RKirk ROfek HO'Neill L(1985)An extensible object-oriented mixed-mod functional simulation systemProceedings of the 22nd ACM/IEEE Design Automation Conference10.5555/317825.317956(630-636)Online publication date: 1-Jun-1985