Home

H.__Hermanns


Compositional Performance Modelling with the TIPPtool

Computing Bisimulations for Stochastic Process Algebras using Symbolic Techniques