Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.

Radu Iosif, Adam Rogalewicz, Toms Vojnar

Browse the full TACAS paper archive.