Inproceedings,
Validating SystemC Implementations Against Their Formal Specifications.
J. Stoppe, R. Wille, and R. Drechsler.SBCCI, page 13:1-13:8. ACM, (2014)
Meta data
- BibTeX key
- conf/sbcci/StoppeWD14
- entry type
- inproceedings
- booktitle
- SBCCI
- year
- 2014
- pages
- 13:1-13:8
- publisher
- ACM
- crossref
- conf/sbcci/2014
- ee
- https://www.wikidata.org/entity/Q59242328
- isbn
- 978-1-4503-3156-2
- url
- http://dblp.uni-trier.de/db/conf/sbcci/sbcci2014.html#StoppeWD14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sbcci/StoppeWD14
%A Stoppe, Jannis
%A Wille, Robert
%A Drechsler, Rolf
%B SBCCI
%D 2014
%E Ordonez, Edward David Moreno
%E de Azevedo, Rodolfo Jardim
%E Kinget, Peter R.
%I ACM
%K
%P 13:1-13:8
%T Validating SystemC Implementations Against Their Formal Specifications.
%U http://dblp.uni-trier.de/db/conf/sbcci/sbcci2014.html#StoppeWD14
%@ 978-1-4503-3156-2
@inproceedings{conf/sbcci/StoppeWD14,
added-at = {2023-12-13T02:18:53.000+0100},
author = {Stoppe, Jannis and Wille, Robert and Drechsler, Rolf},
biburl = {https://www.bibsonomy.org/bibtex/2fad512a4d30f232bc331e09ae363c1ae/admin},
booktitle = {SBCCI},
crossref = {conf/sbcci/2014},
editor = {Ordonez, Edward David Moreno and de Azevedo, Rodolfo Jardim and Kinget, Peter R.},
ee = {https://www.wikidata.org/entity/Q59242328},
interhash = {7d96de73594a9fc7ebb84b9c1a3ed290},
intrahash = {fad512a4d30f232bc331e09ae363c1ae},
isbn = {978-1-4503-3156-2},
keywords = {},
pages = {13:1-13:8},
publisher = {ACM},
timestamp = {2023-12-13T02:18:53.000+0100},
title = {Validating SystemC Implementations Against Their Formal Specifications.},
url = {http://dblp.uni-trier.de/db/conf/sbcci/sbcci2014.html#StoppeWD14},
year = 2014
}