Efficient Handling of Obligation Constraints in Synthesis from Omega-Regular Specifications
Conference Proceeding
Overview
publication date
- October 20, 2013
Date in CU Experts
- May 28, 2014 4:12 AM
Full Author List
- Sohail S; Somenzi F
author count
- 2
presented at event
Additional Document Info
start page
- 34
end page
- 41