Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen

Browse the full FORTE paper archive.