bibtex

@inproceedings{IX8d,
    title = { {Abstraction Refinement for Emptiness Checking of Alternating Data Automata} },
    author = {Iosif, Radu and Xu, Xiao},
    month = {Apr},
    year = {2018},
    booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018}},
    address = {Thessaloniki, Greece},
    team = {RSD},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388034/file/draft.pdf}, hal_id = {hal-02388034}, hal_version = {v1},
}

URL

Publication Sections


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

info visites 1631122