@inproceedings{BGI09,
title = {Iterating Octagons },
author = {Bozga, Marius and G\^{\i}rlea, Codruta and Iosif, Radu},
year = {2009},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2},
pages = {337-351},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5505},
team = {DCS,PACSS},
}