Relating average and discounted costs for quantitative analysis of timed systems Conference Proceeding uri icon

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

Other Profiles