%0 Journal Article %1 journals/fmsd/HolikIRV20 %A Holík, Lukás %A Iosif, Radu %A Rogalewicz, Adam %A Vojnar, Tomás %D 2020 %J Formal Methods Syst. Des. %K dblp %N 3 %P 137-170 %T Abstraction refinement and antichains for trace inclusion of infinite state systems. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#HolikIRV20 %V 55

@article{journals/fmsd/HolikIRV20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Holík, Lukás and Iosif, Radu and Rogalewicz, Adam and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/263d6f850dc824bb937686359da61e7e7/dblp}, ee = {https://doi.org/10.1007/s10703-020-00345-1}, interhash = {88ae8cd1a70c8379a5ef6f43d1b22bb3}, intrahash = {63d6f850dc824bb937686359da61e7e7}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {137-170}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Abstraction refinement and antichains for trace inclusion of infinite state systems.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#HolikIRV20}, volume = 55, year = 2020 }