@inproceedings{IX8f,
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, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02388034/file/draft.pdf},
hal_id = {hal-02388034},
hal_version = {v1},
}