Meta data
- BibTeX key
- conf/ddecs/TholeRF15
- entry type
- inproceedings
- booktitle
- DDECS
- year
- 2015
- pages
- 177-182
- publisher
- IEEE Computer Society
- crossref
- conf/ddecs/2015
- ee
- http://doi.ieeecomputersociety.org/10.1109/DDECS.2015.24
- isbn
- 978-1-4799-6780-3
- url
- http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#TholeRF15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ddecs/TholeRF15
%A Thole, Niels
%A Riener, Heinz
%A Fey, Görschwin
%B DDECS
%D 2015
%E Stamenkovic, Zoran
%E Pleskacz, Witold A.
%E Raik, Jaan
%E Vierhaus, Heinrich Theodor
%I IEEE Computer Society
%K
%P 177-182
%T Equivalence Checking on System Level Using a Priori Knowledge.
%U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#TholeRF15
%@ 978-1-4799-6780-3
@inproceedings{conf/ddecs/TholeRF15,
added-at = {2023-12-12T21:47:46.000+0100},
author = {Thole, Niels and Riener, Heinz and Fey, Görschwin},
biburl = {https://www.bibsonomy.org/bibtex/20c8d24acb2f4207de147ef28721e80e4/admin},
booktitle = {DDECS},
crossref = {conf/ddecs/2015},
editor = {Stamenkovic, Zoran and Pleskacz, Witold A. and Raik, Jaan and Vierhaus, Heinrich Theodor},
ee = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2015.24},
interhash = {4322b86338ba7c129c17efa299e863ac},
intrahash = {0c8d24acb2f4207de147ef28721e80e4},
isbn = {978-1-4799-6780-3},
keywords = {},
pages = {177-182},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T21:47:46.000+0100},
title = {Equivalence Checking on System Level Using a Priori Knowledge.},
url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#TholeRF15},
year = 2015
}