Relating average and discounted costs for quantitative analysis of timed systems
Conference Proceeding
Overview
publication date
- October 9, 2011
Date in CU Experts
- November 8, 2020 2:03 AM
Full Author List
- Alur R; Trivedi A
author count
- 2
presented at event
- the ninth ACM international conference Conference