Author:
Bozga Marius,Gîrlea Codruţa,Iosif Radu
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bagnara, R.: Data-Flow Analysis for Constraint Logic-Based Languages. Ph. D. Thesis, Dipartimento di Informatica, Università di Pisa (1997)
2. Lecture Notes in Computer Science;R. Bagnara,2008
3. Boigelot, B.: On iterating linear transformations over recognizable sets of integers. TCS 309(2), 413–468 (2003)
4. Bozga, M., Girlea, C., Iosif, R.: Iterating octagons. TR VERIMAG (2008)
5. LNCS(LNAI);M. Bozga,2008
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献