Christoph Grimm 0001, Carna Radojicic. Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. In Daniel Große, Rolf Drechsler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. pages 39-40, Shaker Verlag, 2017.
@inproceedings{GrimmR17,
title = {Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems},
author = {Christoph Grimm 0001 and Carna Radojicic},
year = {2017},
researchr = {https://researchr.org/publication/GrimmR17},
cites = {0},
citedby = {0},
pages = {39-40},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017},
editor = {Daniel Große and Rolf Drechsler},
publisher = {Shaker Verlag},
isbn = {978-3-8440-4996-1},
}