–
Room P3.10, Mathematics Building
Peter Buchholz, TU Dresden
A compositional approach for the analysis of stochastic automata networks
A compositional approach for the analysis of stochastic automata networks