@article{Xu2018, author = "Xiao Xu and Radu Iosif", title = "{Artifact related to Abstraction Refinement for Emptiness Checking of Alternating Data Automata (TACAS 2018 paper)}", year = "2018", month = "4", url = "https://springernature.figshare.com/articles/dataset/Artifact_related_to_Abstraction_Refinement_for_Emptiness_Checking_of_Alternating_Data_Automata_TACAS_2018_paper_/5925472", doi = "10.6084/m9.figshare.5925472.v1" }