What's decidable about recursive hybrid automata? Conference Proceeding
Overview
publication date
- April 14, 2015
has restriction
- closed
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Krishna SN; Manasa L; Trivedi A
author count
- 3