Sofiène Tahar, Paul Curzon. A Comparison of MDG and HOL for Hardware Verification. In Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, pages 415-430, Springer, 1996.
@inproceedings{TaharC96,
title = {A Comparison of MDG and HOL for Hardware Verification},
author = {Sofiène Tahar and Paul Curzon},
year = {1996},
researchr = {https://researchr.org/publication/TaharC96},
cites = {0},
citedby = {0},
pages = {415-430},
booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings},
editor = {Joakim von Wright and Jim Grundy and John Harrison},
volume = {1125},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61587-3},
}