Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming
Event name
Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming
Start date
22-05-2020
End date
27-05-2020
Location
Alicante, Spain (Virtual due to covid19)
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |