Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness |
scientific article |
Statements
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (English)
0 references
11 March 2009
0 references
0 references
0 references
0 references
