@inproceedings{Moorsel04, title = {{Analysis and Algorithms for Restart}}, author = {Aad van~Moorsel and Katinka Wolter}, booktitle = {Proc. 1st International Conference on the Quantitative Evaluation of Systems (QEST)}, year = {2004}, address = {Twente, The Netherlands}, month = {September}, note = {Best paper award}, pages = {195-204}, owner = {katinka}, timestamp = {2010.06.01}, }