%0 Journal Article %1 journals/mscs/FahndrichR08 %A Fähndrich, Manuel %A Rehof, Jakob %D 2008 %J Math. Struct. Comput. Sci. %K dblp %N 5 %P 823-894 %T Type-based flow analysis and context-free language reachability. %U http://dblp.uni-trier.de/db/journals/mscs/mscs18.html#FahndrichR08 %V 18

@article{journals/mscs/FahndrichR08, added-at = {2020-04-01T00:00:00.000+0200}, author = {Fähndrich, Manuel and Rehof, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/27b1690b4246208e5f3eb8ace10df0128/dblp}, ee = {https://doi.org/10.1017/S0960129508006968}, interhash = {4e02e31a2d4891aa6deb8531492f3bbc}, intrahash = {7b1690b4246208e5f3eb8ace10df0128}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {823-894}, timestamp = {2020-04-02T11:40:44.000+0200}, title = {Type-based flow analysis and context-free language reachability.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs18.html#FahndrichR08}, volume = 18, year = 2008 }