Abstract

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 Fr 22. Sep 01:00:03 CEST 2017