On Nonlinear Prices in Timed Automata Journal Article
Overview
publication date
- January 1, 2016
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
Other Profiles
International Standard Serial Number (ISSN)
- 2075-2180
Digital Object Identifier (DOI)
Additional Document Info
start page
- 65
end page
- 78
issue
- 232