"Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration"

Luca Bortolussi, Alberto Policriti (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics