Three-valued automated reasoning on analog properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raffaella Gentilini, Klaus Schneider, Alexander Dreyer. Three-valued automated reasoning on analog properties. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 485-488, ACM, 2007. [doi]

This author has not been identified. Look up 'Raffaella Gentilini' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in GoogleThis author has not been identified. Look up 'Alexander Dreyer' in Google

runs on WebDSL