VILLA, Tiziano
VILLA, Tiziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Coordination Control of Distributed Systems
2015-01-01 Jan van, Schuppen; Villa, Tiziano
Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)"
2015-01-01 Montanari, A.; Puppis, G.; Villa, Tiziano
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification
2013-01-01 G., Puppis; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Coordination Control of Distributed Systems | 1-gen-2015 | Jan van, Schuppen; Villa, Tiziano | |
Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)" | 1-gen-2015 | Montanari, A.; Puppis, G.; Villa, Tiziano | |
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification | 1-gen-2013 | G., Puppis; Villa, Tiziano |