Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.

Linda Christoff, Ivan Christoff

Browse the full CAV paper archive.