Analog Verification
2011 ◽
pp. 157-171
◽