Submitted publications

[1] Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, and Min Zhang. SMT-based generation of symbolic automata. Acta Informatica, 2019. Under review. [ bib ]

This file was generated by bibtex2html 1.96.