Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
Event name
Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
Start date
26-09-2018
End date
28-09-2018
Location
Saarbrücken
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata | Classical Proofs as Parallel Programs | Konferenzbeitrag Inproceedings  | 2018 |