%0 Journal Article %1 journals/eceasst/MadelaineQZB18 %A Madelaine, Eric %A Qin, Xudong %A Zhang, Min %A Bliudze, Simon %D 2018 %J Electron. Commun. Eur. Assoc. Softw. Sci. Technol. %K dblp %T Using SMT Engine to Generate Symbolic Automata. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst76.html#MadelaineQZB18 %V 76

@article{journals/eceasst/MadelaineQZB18, added-at = {2023-11-12T00:00:00.000+0100}, author = {Madelaine, Eric and Qin, Xudong and Zhang, Min and Bliudze, Simon}, biburl = {https://www.bibsonomy.org/bibtex/218cb322b0774ca8db164d72c5c3b18bb/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.76.1103}, interhash = {2fc80882a0a1b1a05ea6b43adaadfac3}, intrahash = {18cb322b0774ca8db164d72c5c3b18bb}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, keywords = {dblp}, timestamp = {2024-04-08T20:52:52.000+0200}, title = {Using SMT Engine to Generate Symbolic Automata.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst76.html#MadelaineQZB18}, volume = 76, year = 2018 }