@article{HIR+9,
title = { {Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems} },
author = {Holik, Lukas and Iosif, Radu and Rogalewicz, A and Vojnar, T},
year = {2019},
journal = {{Formal Methods in System Design}},
publisher = {{Springer Verlag}},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02388322/file/trace-inclusion-revisions-2.pdf},
hal_id = {hal-02388322},
hal_version = {v1},
}
