Authors: Hermanns, H Katoen, JP

Citation: H. Hermanns et Jp. Katoen, Automated compositional Markov chain generation for a plain-old telephone system, SCI COMP PR, 36(1), 2000, pp. 97-127

Authors: Hermanns, H Herzog, U Klehmet, U Mertsiotakis, V Siegle, M

Citation: H. Hermanns et al., Compositional performance modelling with the TIPPtool, PERF EVAL, 39(1-4), 2000, pp. 5-35