What's decidable about recursive hybrid automata? Conference Proceeding
Overview
publication date
- April 14, 2015
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Krishna SN; Manasa L; Trivedi A
author count
- 3
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 31
end page
- 40