@inproceedings{DBLP:conf/date/NeubauerWSH18,
title = {Exact multi-objective design space exploration using ASPmT},
author = {Neubauer, Kai and Wanko, Philipp and Schaub, Torsten and Haubelt, Christian},
booktitle = {{DATE}},
pages = {257--260},
publisher = {{IEEE}},
year = {2018}
}