Regular Separability of Well-Structured Transition Systems.

Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan

Browse the full CONCUR paper archive.