Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar. Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods in System Design, 55(3):137-170, 2020. [doi]
@article{HolikIRV20,
title = {Abstraction refinement and antichains for trace inclusion of infinite state systems},
author = {Lukás Holík and Radu Iosif and Adam Rogalewicz and Tomás Vojnar},
year = {2020},
doi = {10.1007/s10703-020-00345-1},
url = {https://doi.org/10.1007/s10703-020-00345-1},
researchr = {https://researchr.org/publication/HolikIRV20},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {55},
number = {3},
pages = {137-170},
}