Verimag

bibtex

@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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 829380