TY  - JOUR
AU  - Renjian Li
AU  - Ji Wang
AU  - Liqian Chen
AU  - Wanwei Liu
AU  - Dengping Wei
TI  - Quantitative Analysis for Symbolic Heap Bounds of CPS Software
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_4_a16/
ID  - CSIS_2011_8_4_a16
ER  -