%0 Conference Paper %1 conf/date/GrimmHW04 %A Grimm, Christoph %A Heupke, Wilhelm %A Waldschmidt, Klaus %B DATE %D 2004 %I IEEE Computer Society %K %P 372-377 %T Refinement of Mixed-Signal Systems with Affine Arithmetic. %U http://dblp.uni-trier.de/db/conf/date/date2004-1.html#GrimmHW04 %@ 0-7695-2085-5

@inproceedings{conf/date/GrimmHW04, added-at = {2023-12-12T18:22:46.000+0100}, author = {Grimm, Christoph and Heupke, Wilhelm and Waldschmidt, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/22832f2962d5b6498afd9c3c10caacf73/admin}, booktitle = {DATE}, crossref = {conf/date/2004}, ee = {http://dl.acm.org/citation.cfm?id=969096}, interhash = {116cafd3509aba51ae8df7bea3aad6e1}, intrahash = {2832f2962d5b6498afd9c3c10caacf73}, isbn = {0-7695-2085-5}, keywords = {}, pages = {372-377}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:22:46.000+0100}, title = {Refinement of Mixed-Signal Systems with Affine Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/date/date2004-1.html#GrimmHW04}, year = 2004 }