On the minimal revision problem of specification automata. Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• January 1, 2015

has restriction

• green

Date in CU Experts

• January 29, 2016 1:53 AM

Full Author List

• Kim K; Fainekos G; Sankaranarayanan S

author count

• 3

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1177/0278364915587034

Additional Document Info

start page

• 1515

end page

• 1535

volume

• 34

number

• 12