A Set of Performance and Dependability Analysis Components for CADP.

Holger Hermanns, Christophe Joubert

Browse the full TACAS paper archive.