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

How to cite

top

Renjian 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.