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/date/JaschkeHWSZ17
%A Jäschke, Christoph
%A Herter, Ulla
%A Wolkober, Claudia
%A Schmitt, Carsten
%A Zoellin, Christian G.
%B DATE
%D 2017
%E Atienza, David
%E Natale, Giorgio Di
%I IEEE
%K
%P 1552-1557
%T Static netlist verification for IBM high-frequency processors using a tree-grammar.
%U http://dblp.uni-trier.de/db/conf/date/date2017.html#JaschkeHWSZ17
%@ 978-3-9815370-8-6
@inproceedings{conf/date/JaschkeHWSZ17,
added-at = {2023-12-12T17:28:09.000+0100},
author = {Jäschke, Christoph and Herter, Ulla and Wolkober, Claudia and Schmitt, Carsten and Zoellin, Christian G.},
biburl = {https://www.bibsonomy.org/bibtex/2d320eeddbf741297b2460394a2337727/admin},
booktitle = {DATE},
crossref = {conf/date/2017},
editor = {Atienza, David and Natale, Giorgio Di},
ee = {http://dl.acm.org/citation.cfm?id=3130742},
interhash = {041a0f5ecfe92cb2cf51b096cef25804},
intrahash = {d320eeddbf741297b2460394a2337727},
isbn = {978-3-9815370-8-6},
keywords = {},
pages = {1552-1557},
publisher = {IEEE},
timestamp = {2023-12-12T17:28:09.000+0100},
title = {Static netlist verification for IBM high-frequency processors using a tree-grammar.},
url = {http://dblp.uni-trier.de/db/conf/date/date2017.html#JaschkeHWSZ17},
year = 2017
}