OpenAlex
Bounded Synthesis
Work
Year: 2007
Type: book-chapter
Source: Automated Technology for Verification and Analysis
Authors Sven Schewe, Bernd Finkbeiner
Institution Saarland University
Cites: 7
Cited by: 79
Related to: 10
FWCI: 1.546
Citation percentile (by year/subfield): 97.26
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed