Constraint-Based Verification
Work
Year: 2006
Type: book
Authors Jun Yuan, Carl Pixley, Adnan Aziz
Institutions Synopsys (Switzerland), The University of Texas at Austin
Cites: 73
Cited by: 93
Related to: 10
FWCI: 2.531
Citation percentile (by year/subfield): 82.21
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green