@dblp

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

, , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 212-227. Springer, (2006)

Links and resources

Tags