Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
English
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazioni
Nuvole
rivista : Logical Methods in Computer Science
rivista : Logical Methods in Computer Science
1 article
Type-based Self-stabilisation for Computational Fields
(2015) —
Ferruccio Damiani, Mirko Viroli
[
nuvola riviste
/ pubblicazioni ]