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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4087347