REHMAN, ANIQA
REHMAN, ANIQA
Scuola di Scienze e Tecnologie
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
2022-01-01 Loreti, M.; Rehman, A.
Sibilla: A tool for reasoning about collective systems
2024-01-01 Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele
Sibilla: A Tool for Reasoning about Collective Systems
2022-01-01 Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems | 1-gen-2022 | Loreti, M.; Rehman, A. | Capitolo di libro o voce di enciclopedia | |
Sibilla: A tool for reasoning about collective systems | 1-gen-2024 | Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele | Articolo | |
Sibilla: A Tool for Reasoning about Collective Systems | 1-gen-2022 | Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M. | Capitolo di libro o voce di enciclopedia |