bibtex

@inproceedings{CDL08,
    title = { Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator },
    author = {Clarke, Edmund M. and Donz\'e, Alexandre and Legay, Axel},
    year = {2008},
    booktitle = {Haifa Verification Conference},
    pages = {149-163},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5394},
    team = {TEMPO},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900457