@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},
}