Clarke10

E. M. Clarke, A. Donzé, A. Legay. On Simulation-Based Probabilistic Model Checking of Mixed-Analog Circuits. Formal Methods in System Design, (0):97-113, 2010.

Keyword

[ Component ]

BibTex Reference

@article{Clarke10,
   Author = {M. Clarke, E. and Donzé, A. and Legay, A.},
   Title = {On Simulation-Based Probabilistic Model Checking of Mixed-Analog Circuits},
   Journal = {Formal Methods in System Design},
   Volume = {},
   Number = {0},
   Pages = {97--113},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)