bibtex

@article{CDL10,
    title = {On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits },
    author = {Clarke, Edmund M. and Donz\'e, Alexandre and Legay, Axel},
    year = {2010},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {97-113},
    volume = {36},
    team = {TEMPO},
}


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

info visites 3899797