@inproceedings{DBLP:conf/chdl/Corella93,
author = {Francisco Corella},
title = {Automated High-level Verification Against Clocked Algorithmic
Specifications},
booktitle = {CHDL},
year = {1993},
pages = {147-154},
crossref = {DBLP:conf/chdl/1993},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/chdl/1993,
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {Computer Hardware Description Languages and their Applications,
Proceedings of the 11th IFIP WG10.2 International Conference
on Computer Hardware Description Languages and their Applications
- CHDL '93, sponsored by IFIP WG10.2 and in cooperation
with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April,
1993},
booktitle = {CHDL},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {A-32},
year = {1993},
isbn = {0-444-81641-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
