Computer Aided Verification
Work
Year: 2004
Type: book
Cites: 6
Cited by: 55
Related to: 10
FWCI: 1.091
Citation percentile (by year/subfield): 85.99
Subfield: Control and Systems Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: closed