@inproceedings{IX8e,
title = {Abstraction Refinement for Emptiness Checking of Alternating Data Automata },
author = {Iosif, Radu and Xu, Xiao},
year = {2018},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software},
pages = {93--111},
team = {RSD, axe_Mohytos},
}