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, {ETA},
    pages = {93--111},
    team = {RSD},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1170544