@inproceedings{mci/Ehlers2014,
author = {Ehlers, Rüdiger},
title = {Symmetrische und effiziente Synthese},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
year = {2014},
editor = {} ,
pages = { 11-20 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}