REHMAN, ANIQA
REHMAN, ANIQA
Scuola di Scienze e Tecnologie
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
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-2022 | Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M. | Capitolo di libro o voce di enciclopedia |