bibtex

@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},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4183138