Natalia López, Manuel Núñez, Ismael Rodríguez. SPAMR: Extending PAMR with stochastic time. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 63-79, Springer, 2007. [doi]
Abstract is missing.