%0 Journal Article %1 journals/comsis/LiWCLW11 %A Li, Renjian %A Wang, Ji %A Chen, Liqian %A Liu, Wanwei %A Wei, Dengping %D 2011 %J Comput. Sci. Inf. Syst. %K dblp %N 4 %P 1251-1276 %T Quantitative analysis for symbolic heap bounds of CPS software. %U http://dblp.uni-trier.de/db/journals/comsis/comsis8.html#LiWCLW11 %V 8

@article{journals/comsis/LiWCLW11, added-at = {2019-05-28T00:00:00.000+0200}, author = {Li, Renjian and Wang, Ji and Chen, Liqian and Liu, Wanwei and Wei, Dengping}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28587ade04264b33ad268a6c17fda6368/dblp}, ee = {https://doi.org/10.2298/CSIS110302054L}, interhash = {6509de6cd535671b9f902ef4bf207843}, intrahash = {8587ade04264b33ad268a6c17fda6368}, journal = {Comput. Sci. Inf. Syst.}, keywords = {dblp}, number = 4, pages = {1251-1276}, timestamp = {2019-09-27T07:00:04.000+0200}, title = {Quantitative analysis for symbolic heap bounds of CPS software.}, url = {http://dblp.uni-trier.de/db/journals/comsis/comsis8.html#LiWCLW11}, volume = 8, year = 2011 }