Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/eurodac/SchneiderKK94
%A Schneider, Klaus
%A Kropf, Thomas
%A Kumar, Ramayya
%B EDAC-ETC-EUROASIC
%D 1994
%E Werner, Robert
%I IEEE Computer Society
%K dblp
%P 648-652
%T Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path.
%U http://dblp.uni-trier.de/db/conf/eurodac/eurodac1994.html#SchneiderKK94
%@ 0-8186-5410-4
@inproceedings{conf/eurodac/SchneiderKK94,
added-at = {2015-11-09T00:00:00.000+0100},
author = {Schneider, Klaus and Kropf, Thomas and Kumar, Ramayya},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2677afd30c810055ab5e9184a482d479c/dblp},
booktitle = {EDAC-ETC-EUROASIC},
crossref = {conf/eurodac/1994edac},
editor = {Werner, Robert},
ee = {http://dx.doi.org/10.1109/EDTC.1994.326809},
interhash = {29bf0af7a3031d0e31612d1b0e9805f8},
intrahash = {677afd30c810055ab5e9184a482d479c},
isbn = {0-8186-5410-4},
keywords = {dblp},
pages = {648-652},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T14:57:12.000+0100},
title = {Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path.},
url = {http://dblp.uni-trier.de/db/conf/eurodac/eurodac1994.html#SchneiderKK94},
year = 1994
}