Beskrivelse
This is a reproducibility package for the paper "AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences" to appear in TASE'22.
| Dato for tilgængelighed | 2022 |
|---|---|
| Forlag | Zenodo |
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
- Kim Guldstrand Larsen (Bidrager)
- Anders Mariegaard (Bidrager)
- Stefan Schmid (Bidrager)
- Jiri Srba (Bidrager)
Datasæt