On the Revision Problem of Specification Automata Conference Proceeding
Overview
publication date
- May 14, 2012
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Kim K; Fainekos GE; Sankaranarayanan S
author count
- 3
citation count
- 12
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 1050-4729
Electronic International Standard Serial Number (EISSN)
- 2577-087X
Additional Document Info
start page
- 5171
end page
- 5176