Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems (Q4931298)
From MaRDI portal
scientific article; zbMATH DE number 5795636
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems |
scientific article; zbMATH DE number 5795636 |
Statements
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems (English)
0 references
4 October 2010
0 references
