Functional synthesis via input–output separation
Work
Year: 2022
Type: article
Source: Formal Methods in System Design
Cites: 48
Cited by: 3
Related to: 10
FWCI: 0.361
Citation percentile (by year/subfield): 35.2
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funders National Science Foundation, National Science Foundation, Governo Brasil, Ministry of Education, India
Grant IDS CCF-1319459, IIS-1527668, ,