TY  - RPRT
TI  - Regular Separability of Well Structured Transition Systems
AU  - Wojciech Czerwiński
AU  - Sławomir Lasota
AU  - Roland Meyer
AU  - Sebastian Muskalla
AU  - K Narayan Kumar
AU  - Prakash Saivasan
PY  - 2018
UR  - https://arxiv.org/abs/1702.05334
ID  - 1702.05334
ER  -