Verimag

bibtex

@inproceedings{HMP03,
    title = { Cartesian factoring of polyhedra in linear relation analysis },
    author = {Halbwachs, Nicolas and Merchat, David and Parent-Vigouroux, Catherine},
    month = {jun},
    year = {2003},
    booktitle = {Static Analysis Symposium, SAS'03},
    address = {San Diego},
    publisher = {LNCS 2694, Springer Verlag},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 874820