Authors: Katoen, JP Baier, C Latella, D

Citation: Jp. Katoen et al., Metric semantics for true concurrent real time, THEOR COMP, 254(1-2), 2001, pp. 501-542

Authors: Katoen, JP Nymeyer, A

Citation: Jp. Katoen et A. Nymeyer, Pattern-matching algorithms based on term rewrite systems, THEOR COMP, 238(1-2), 2000, pp. 439-464

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