Optimal Repair for Omega-Regular Properties
Conference Proceeding
Overview
publication date
- October 25, 2022
Date in CU Experts
- February 2, 2023 1:37 AM
Full Author List
- Dave V; Krishna SN; Murali V; Trivedi A
Full Editor List
- Bouajjani A; Holik L; Wu Z
author count
- 4
citation count
- 0
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Electronic International Standard Serial Number (EISSN)
- 1611-3349
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-031-19991-2
Additional Document Info
start page
- 354
end page
- 370
volume
- 13505