Dependability modelling with the stochastic process algebra tool CASPA.

Johann Schuster, Markus Siegle

Browse the full EDCC paper archive.