bibtex

@inproceedings{YM9,
    title = {An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection },
    author = {Yu, Hang and Monniaux, David},
    year = {2019},
    booktitle = {Static Analysis (SAS)},
    pages = {203--224},
    volume = {11822},
    team = {PACSS},
    fbooktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, zurl = {https://doi.org/10.1007/978-3-030-32304-2\_11}, timestamp = {Mon, 07 Oct 2019 12:38:12 +0200}, biburl = {https://dblp.org/rec/bib/conf/sas/YuM19}, bibsource = {dblp computer science bibliography, https://dblp.org},
}


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

info visites 3886015