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/mbmv/NeubauerSBMFTBF17
%A Neubauer, Felix
%A Scheibler, Karsten
%A Becker, Bernd
%A Mahdi, Ahmed
%A Fränzle, Martin
%A Teige, Tino
%A Bienmüller, Tom
%A Fehrer, Detlef
%B MBMV
%D 2017
%E Große, Daniel
%E Drechsler, Rolf
%I Shaker Verlag
%K
%P 53-54
%T Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#NeubauerSBMFTBF17
%@ 978-3-8440-4996-1
@inproceedings{conf/mbmv/NeubauerSBMFTBF17,
added-at = {2023-12-12T22:51:36.000+0100},
author = {Neubauer, Felix and Scheibler, Karsten and Becker, Bernd and Mahdi, Ahmed and Fränzle, Martin and Teige, Tino and Bienmüller, Tom and Fehrer, Detlef},
biburl = {https://www.bibsonomy.org/bibtex/21de1a6051f63325969f19faea115155e/admin},
booktitle = {MBMV},
crossref = {conf/mbmv/2017},
editor = {Große, Daniel and Drechsler, Rolf},
interhash = {4eee7ef3f096497b93e603e64ba205cc},
intrahash = {1de1a6051f63325969f19faea115155e},
isbn = {978-3-8440-4996-1},
keywords = {},
pages = {53-54},
publisher = {Shaker Verlag},
timestamp = {2023-12-12T22:51:36.000+0100},
title = {Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2017.html#NeubauerSBMFTBF17},
year = 2017
}