The following publications are possibly variants of this publication:
- A Comparison of MDG and HOL for Hardware VerificationSofiène Tahar, Paul Curzon. tphol 1996: 415-430
- Formally Linking MDG and HOL Based on a Verified MDG SystemHaiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. IFM 2002: 205-224 [doi]
- Three Approaches to Hardware Verification: HOL, MDG and VIS ComparedSofiène Tahar, Paul Curzon, Jianping Lu. FMCAD 1998: 433-450 [doi]
- Hybrid verification integrating HOL theorem proving with MDG model checkingRabeb Mizouni, Sofiène Tahar, Paul Curzon. mj, 37(11):1200-1207, 2006. [doi]
- Importing MDG Verification Results into HOLHaiyan Xiong, Paul Curzon, Sofiène Tahar. tphol 1999: 293-310 [doi]
- Providing a formal linkage between MDG and HOLHaiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. fmsd, 30(2):83-116, 2007. [doi]
- Providing Automated Verification in HOL Using MDGsTarek Mhamdi, Sofiène Tahar. ATVA 2004: 278-293 [doi]
- Hierarchical Verification Using an MDG-HOL Hybrid ToolIskander Kort, Sofiène Tahar, Paul Curzon. charme 2001: 244-258 [doi]
- Formal verification of ASMs using MDGsAmjad Gawanmeh, Sofiène Tahar, Kirsten Winter. jsa, 54(1-2):15-34, 2008. [doi]