| emsoft | participants

Ashutosh Trivedi

Program Committees:
2019
.

EMSOFT 2011: 11th International Conference on Embedded Software

Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems

Rajeev Alur and Ashutosh Trivedi