Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Adjé, A. & Garoche, P. CoRR, 2014.
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs [link]Paper  bibtex   
@article{ dblp1779888,
  title = {Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs},
  author = {Assalé Adjé and Pierre-Loïc Garoche},
  author_short = {Adjé, A. and Garoche, P.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1779888},
  id = {dblp1779888},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/AdjeG14},
  url = {http://arxiv.org/abs/1409.5089},
  journal = {CoRR},
  volume = {abs/1409.5089},
  text = {CoRR abs/1409.5089 (2014)}
}

Downloads: 0