| Original language | English |
|---|---|
| Journal | Logical Methods in Computer Science |
| Volume | 19 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 22 Nov 2023 |
A model of actors and grey failures
- Laura Bocchi
- , Julien Lange
- , Simon Thompson
- , A. Laura Voinea
Research output: Contribution to journal › Article › peer-review