@inproceedings{Reinecke11a, title = {{Parallel Restart in Competitive Scenarios}}, author = {Philipp Reinecke and Alexandra Danilkina and Katinka Wolter}, booktitle = {QEST 2011}, year = {2011}, note = {Fast Abstract}, owner = {katinka}, page = {13 -- 14}, timestamp = {2012.08.10}, }