bibtex

@inproceedings{IX9,
    title = { {Alternating Automata Modulo First Order Theories} },
    author = {Iosif, Radu and Xu, Xiao},
    month = {Jul},
    year = {2019},
    booktitle = {{Computer Aided Verification - 31st International Conference}},
    address = {New York, United States},
    pages = {43-63},
    team = {RSD, axe_Mohytos},
    pdf = {https://hal.archives-ouvertes.fr/hal-02387992/file/final.pdf}, hal_id = {hal-02387992}, hal_version = {v1},
}

URL

Publication Sections


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

info visites 1693558