@inproceedings{DDM4,
title = { Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques },
author = {Dang, Thao and Donz\'e, Alexandre and Maler, Oded},
year = {2004},
booktitle = {FMCAD},
pages = {21-36},
publisher = {Springer},
series = {LNCS},
volume = {3312},
team = {axe_Mohytos, TEMPO},
}
