Rajeev Alur, Ashutosh Trivedi. Relating average and discounted costs for quantitative analysis of timed systems. In Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, editors, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 165-174, ACM, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.