CELL: A Compositional Verification Framework. Ji, K., 0003, Y. L., Lin, S., 0001, J. S., Dong, J. S., & Nguyen, T. K. In Proceedings of Automated Technology for Verification and Analysis (ATVA), pages 474-477, 2013.
CELL: A Compositional Verification Framework [link]Paper  bibtex   
@inproceedings{ dblp1747125,
  title = {CELL: A Compositional Verification Framework},
  author = {Kun Ji and Yang Liu 0003 and Shang-Wei Lin and Jun Sun 0001 and Jin Song Dong and Truong Khanh Nguyen},
  author_short = {Ji, K. and Liu 0003, Y. and Lin, S. and Sun 0001, J. and Song Dong, J. and Khanh Nguyen, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1747125},
  id = {dblp1747125},
  biburl = {http://www.dblp.org/rec/bibtex/conf/atva/JiLL0DN13},
  url = {http://dx.doi.org/10.1007/978-3-319-02444-8_38},
  conference = {ATVA},
  pages = {474-477},
  text = {ATVA 2013:474-477},
  booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}
}

Downloads: 0