Title
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
Year
Venue
Field
2017
MBMV
Affine arithmetic,Computer science,Arithmetic,Mixed-signal integrated circuit,Formal verification
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Christoph Grimm122.74
Carna Radojicic253.05