@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32389156
|
|
|