bibtex

@inproceedings{IX8,
    title = {Abstraction Refinement for Emptiness Checking of Alternating Data Automata },
    author = {Iosif, Radu and Xu, Xiao},
    year = {2018},
    booktitle = {{TACAS} {(2)}},
    pages = {93--111},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10806},
    team = {PACSS},
}

Publication Sections


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

info visites 1158325