Sfoglia per Serie
Mostrati risultati da 1 a 4 di 4
Fair Termination of Multiparty Sessions
2022-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
Preface
2021-01-01 Bansal, N.; Merelli, E.; Worrell, J.
Preface (47th International Colloquium on Automata, Languages, and Programming)
2020-01-01 Czumaj, A.; Dawar, A.; Merelli, E.
RobTL: Robustness Temporal Logic for CPS
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | Contributo in atto di convegno su volume | |
Preface | 1-gen-2021 | Bansal, N.; Merelli, E.; Worrell, J. | Prefazione | |
Preface (47th International Colloquium on Automata, Languages, and Programming) | 1-gen-2020 | Czumaj, A.; Dawar, A.; Merelli, E. | Prefazione | |
RobTL: Robustness Temporal Logic for CPS | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. | Contributo in atto di convegno su volume |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile