Tomáš Vojnar

Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems