bibtex

@inproceedings{IRV6,
    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},
    pages = {71--89},
    team = {RSD},
}


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

info visites 4183138