Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt. Refinement of Mixed-Signal Systems with Affine Arithmetic. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 372-377, IEEE Computer Society, 2004. [doi]
@inproceedings{GrimmHW04:0,
title = {Refinement of Mixed-Signal Systems with Affine Arithmetic},
author = {Christoph Grimm and Wilhelm Heupke and Klaus Waldschmidt},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/date/2004/2085/01/208510372abs.htm},
tags = {refinement},
researchr = {https://researchr.org/publication/GrimmHW04%3A0},
cites = {0},
citedby = {0},
pages = {372-377},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-2085-5},
}