title = {Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems },
    author = {Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}s},
    year = {2016},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETA},
    pages = {71--89},
    team = {RSD},

Publication Sections

Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1187090