Author:
Peña Ricardo,Delgado-Muñoz Agustin D.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;E. Albert,2008
2. Lecture Notes in Computer Science;C. Alias,2010
3. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: The Parma Polyhedra Library, User’s Manual. Dept. of Mathematics. Univ. of Parma, Italy (2002), http://www.cs.unipr.it/ppl/
4. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Science of Computer Programming 58(1-2), 28–56 (2005) Special Issue on the Static Analysis Symposium 2003 - SAS 2003
5. Lecture Notes in Computer Science;A.M. Ben-Amram,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献