On Nonlinear Prices in Timed Automata Journal Article

• Best Open Access
• CU Scholar Open Access

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• January 1, 2016

has restriction

• gold

Date in CU Experts

• February 1, 2017 9:37 AM

Full Author List

• Bhave D; Krishna SN; Trivedi A

author count

• 3

citation count

• 4

published in

• Electronic Proceedings in Theoretical Computer Science  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 2075-2180

Digital Object Identifier (DOI)

• https://doi.org/10.4204/eptcs.232.9

Additional Document Info

start page

• 65

end page

• 78

issue

• 232