![](https://www.pdfsearch.io/img/bcac351191ce83e67c6ed271916abecc.jpg) Date: 2016-10-07 07:54:24
| | Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.frAdd to Reading ListSource URL: www.labri.frDownload Document from Source Website File Size: 338,93 KBShare Document on Facebook
|