%0 Journal Article %1 journals/acta/PelegSYY16 %A Peleg, Hila %A Shoham, Sharon %A Yahav, Eran %A Yang, Hongseok %D 2016 %J Acta Inf. %K dblp %N 4 %P 327-356 %T Symbolic automata for representing big code. %U http://dblp.uni-trier.de/db/journals/acta/acta53.html#PelegSYY16 %V 53

@article{journals/acta/PelegSYY16, added-at = {2018-11-30T00:00:00.000+0100}, author = {Peleg, Hila and Shoham, Sharon and Yahav, Eran and Yang, Hongseok}, biburl = {https://www.bibsonomy.org/bibtex/293e9c61c6ce36ef709f382a8822bc83f/dblp}, ee = {https://doi.org/10.1007/s00236-015-0234-1}, interhash = {b9623f9dbfeed048e4d84bb0482c2895}, intrahash = {93e9c61c6ce36ef709f382a8822bc83f}, journal = {Acta Inf.}, keywords = {dblp}, number = 4, pages = {327-356}, timestamp = {2018-12-01T11:36:42.000+0100}, title = {Symbolic automata for representing big code.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta53.html#PelegSYY16}, volume = 53, year = 2016 }