Applications of MetiTarski in the Verification of Control and Hybrid Systems
Work
Year: 2009
Type: book-chapter
Authors Behzad Akbarpour, Lawrence C. Paulson
Institutions Concordia University, University of Cambridge
Cites: 15
Cited by: 16
Related to: 10
FWCI: 3.094
Citation percentile (by year/subfield): 86.45
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed