Search for Author All Reviews
	Bagnara, Roberto     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Precise widening operators for convex polyhedra Bagnara R., Hill P., Ricci E., Zaffanella E. Science of Computer Programming 58(1-2): 28-56, 2005.  Type: Article Automated analysis that uses abstract interpretation techniques for complex systems, like software and hybrid-system models, involves computing fixpoints of the sequence of approximate behavior structures of the systems. In general, th...... May 5 2006
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy