Aad van~Moorsel, Katinka Wolter,
Analysis and Algorithms for Restart,
In: Proc. 1st International Conference on the Quantitative Evaluation of Systems (QEST), pp. 195-204, September 2004.
[BibTeX][Details]
Note: Best paper award
This page generated by bibTOhtml on Mi 4. Okt 01:00:02 CEST 2017