David M. Goldschlag. Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Formal Methods in System Design, 5(3):207-225, 1994.
@article{Goldschlag94,
title = {Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits},
author = {David M. Goldschlag},
year = {1994},
researchr = {https://researchr.org/publication/Goldschlag94},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {5},
number = {3},
pages = {207-225},
}