Computer Aided Verification
Work
Year: 2005
Type: book
Authors Kousha Etessami, Sriram K. Rajamani
Institutions University of Edinburgh, Microsoft Research (India)
Cites: 1
Cited by: 21
Related to: 10
FWCI: 0.688
Citation percentile (by year/subfield): 75.59
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed