| Original language | English |
|---|---|
| Title of host publication | Computer Aided Verification - 27th International Conference |
| Publisher | Springer LNCS |
| Publication status | Published - 2015 |
Symbolic Polytopes for Quantitative Interpolation and Verification
Klaus von Gleissenthal, Boris Köpf, Andrey Rybalchenko
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review