Norm Functions for Probabilistic Bisimulations with Delays.

Christel Baier, Marille Stoelinga

Browse the full FOSSACS paper archive.