@article{lmcs:4417, title = {Regular Separability of One Counter Automata}, author = {Wojciech Czerwiński and Sławomir Lasota}, url = {https://lmcs.episciences.org/4417}, doi = {10.23638/LMCS-15(2:20)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 2}, eid = 20, year = {2019}, month = {Jun}, keywords = {Computer Science - Formal Languages and Automata Theory}, }