Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 20 ; visits: 437946