ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis
Event name
ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis
Start date
18-10-2021
End date
22-10-2021
Location
Australia (Online)
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems | Konferenzbeitrag Inproceedings | 2021 |