Verimag

bibtex

@article{HMG06,
    title = { Some ways to reduce the space dimension in polyhedra computations },
    author = {Halbwachs, Nicolas and Merchat, David and Gonnord, Laure},
    month = {jul},
    year = {2006},
    journal = {Formal Methods in System Design},
    number = {1},
    pages = {79--95},
    volume = {29},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 895480