Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang 0002. SMT-based generation of symbolic automata. Acta Informatica, 57(3-5):627-656, 2020. [doi]
@article{QinBMHDZ20,
title = {SMT-based generation of symbolic automata},
author = {Xudong Qin and Simon Bliudze and Eric Madelaine and Zechen Hou and Yuxin Deng and Min Zhang 0002},
year = {2020},
doi = {10.1007/s00236-020-00367-6},
url = {https://doi.org/10.1007/s00236-020-00367-6},
researchr = {https://researchr.org/publication/QinBMHDZ20},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {57},
number = {3-5},
pages = {627-656},
}