T. Horn, M. Sauppe, E. Markert, U. Heinkel, W. Rössel, and H. Sahm. MBMV, page 141-146. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)
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/HornSMHRS13
%A Horn, Thomas
%A Sauppe, Matthias
%A Markert, Erik
%A Heinkel, Ulrich
%A Rössel, Wolfgang
%A Sahm, Hans-Werner
%B MBMV
%D 2013
%E Haubelt, Christian
%E Timmermann, Dirk
%I Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock
%K dblp
%P 141-146
%T Einsatz formaler Methoden zur Energieeinsparung.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#HornSMHRS13
%@ 978-3-86009-147-0
@inproceedings{conf/mbmv/HornSMHRS13,
added-at = {2013-03-18T00:00:00.000+0100},
author = {Horn, Thomas and Sauppe, Matthias and Markert, Erik and Heinkel, Ulrich and Rössel, Wolfgang and Sahm, Hans-Werner},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f2775e73ea582511ddaca6150e149bc7/dblp},
booktitle = {MBMV},
crossref = {conf/mbmv/2013},
editor = {Haubelt, Christian and Timmermann, Dirk},
interhash = {a69206288111d04186e952bd63f0f883},
intrahash = {f2775e73ea582511ddaca6150e149bc7},
isbn = {978-3-86009-147-0},
keywords = {dblp},
pages = {141-146},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
timestamp = {2016-02-02T14:12:46.000+0100},
title = {Einsatz formaler Methoden zur Energieeinsparung.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#HornSMHRS13},
year = 2013
}