Quantitative Analysis for Symbolic Heap Bounds of CPS Software
Renjian Li; Ji Wang; Liqian Chen; Wanwei Liu; Dengping Wei
Computer Science and Information Systems (2011)
- Issue: 20, page 1251-1276
- ISSN: 1820-0214
Access Full Article
topHow to cite
topRenjian Li, et al. "Quantitative Analysis for Symbolic Heap Bounds of CPS Software." Computer Science and Information Systems (2011): 1251-1276. <http://eudml.org/doc/253332>.
@article{RenjianLi2011,
author = {Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei},
journal = {Computer Science and Information Systems},
language = {eng},
number = {20},
pages = {1251-1276},
publisher = {ComSIS Consortium},
title = {Quantitative Analysis for Symbolic Heap Bounds of CPS Software},
url = {http://eudml.org/doc/253332},
year = {2011},
}
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
PB - ComSIS Consortium
IS - 20
SP - 1251
EP - 1276
LA - eng
UR - http://eudml.org/doc/253332
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.