Mover, Sergio
 Distribuzione geografica
Continente #
EU - Europa 2
Totale 2
Nazione #
IT - Italia 2
Totale 2
Città #
Como 2
Totale 2
Nome #
Formal Verification of Infinite-State BIP Models, file e3835196-83ef-72ef-e053-3705fe0ad821 1
Safety Assessment of AltaRica Models via Symbolic Model Checking, file e3835196-8c97-72ef-e053-3705fe0ad821 1
Totale 2
Categoria #
all - tutte 6
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 2 0 0 0 0 0 0 0 0 0
Totale 2