@inbook{Iosif_2018,
    title = {Abstraction Refinement for Emptiness Checking of Alternating Data Automata},
    ISBN = {9783319899633},
    ISSN = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-319-89963-3_6},
    DOI = {10.1007/978-3-319-89963-3_6},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer International Publishing},
    author = {Iosif, Radu and Xu, Xiao},
    year = {2018},
    pages = {93–111}
}

@inbook{Iosif_2018, title = {Abstraction Refinement for Emptiness Checking of Alternating Data Automata}, ISBN = {9783319899633}, ISSN = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-319-89963-3_6}, DOI = {10.1007/978-3-319-89963-3_6}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, author = {Iosif, Radu and Xu, Xiao}, year = {2018}, pages = {93–111} }