Search the dblp DataBase
Michael Rettelbach :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Norbert Götz , Ulrich Herzog , Michael Rettelbach TIPP - Introduction and Application to Protocol Performance Analysis. [Citation Graph (0, 0)][DBLP ] FBT, 1992, pp:105-125 [Conf ] Jane Hillston , Holger Hermanns , Ulrich Herzog , Vassilis Mertsiotakis , Michael Rettelbach Stochastic process algebras: integrating qualitative and quantitative modelling. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:449-451 [Conf ] Norbert Götz , Ulrich Herzog , Michael Rettelbach Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP ] Performance/SIGMETRICS Tutorials, 1993, pp:121-146 [Conf ] Holger Hermanns , Vassilis Mertsiotakis , Michael Rettelbach A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:427-430 [Conf ] Holger Hermanns , Michael Rettelbach , Thorsten Weiss Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. [Citation Graph (0, 0)][DBLP ] Comput. J., 1995, v:38, n:7, pp:530-541 [Journal ] Michael Rettelbach Probabilistic Branching in Markovian Process Algebras. [Citation Graph (0, 0)][DBLP ] Comput. J., 1995, v:38, n:7, pp:590-599 [Journal ] Peter Liggesmeyer , Martin Rothfelder , Michael Rettelbach , Thomas Ackermann Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1998, v:21, n:5, pp:249-258 [Journal ] Search in 0.001secs, Finished in 0.001secs