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]
No references recorded for this publication.
No citations of this publication recorded.