%0 Journal Article
%A Renjian Li
%A Ji Wang
%A Liqian Chen
%A Wanwei Liu
%A Dengping Wei
%T Quantitative Analysis for Symbolic Heap Bounds of CPS Software
%J Computer Science and Information Systems
%D 2011
%V 8
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_4_a16/
%F CSIS_2011_8_4_a16