@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},
}