A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.

Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach

Browse the full TACAS paper archive.