TY  - RPRT
TI  - Stochastic Formal Methods for Hybrid Systems
AU  - Marc Daumas
AU  - David Lester
AU  - Erik Martin-Dorel
AU  - Annick Truffert
PY  - 2009
UR  - https://arxiv.org/abs/cs/0610110
ID  - cs/0610110
ER  -