Verimag

bibtex

@inproceedings{'OBP6',
    title = { Polynomial Invariants by Linear Algebra },
    author = {Oliveira, Steven de and Bensalem, Saddek and Prevosto, Virgile},
    year = {2016},
    booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
    crossref = {DBLP:conf/atva/2016},
    pages = {479--494},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 776577