Djamel Boussebha, Norbert Giambiasi, Janine Magnier. Temporal verification of behavioral descriptions in VHDL. In Gerald Musgrave, editor, Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992. pages 692-697, IEEE Computer Society Press, 1992. [doi]
@inproceedings{BoussebhaGM92,
title = {Temporal verification of behavioral descriptions in VHDL},
author = {Djamel Boussebha and Norbert Giambiasi and Janine Magnier},
year = {1992},
url = {http://dl.acm.org/citation.cfm?id=161839},
researchr = {https://researchr.org/publication/BoussebhaGM92},
cites = {0},
citedby = {0},
pages = {692-697},
booktitle = {Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992},
editor = {Gerald Musgrave},
publisher = {IEEE Computer Society Press},
isbn = {0-8186-2780-8},
}