Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 2 di 2
Tipologia Anno Titolo Titolo inglese Autore File
Lauree magistrali 2024 Branching Bisimulation Learning Branching Bisimulation Learning MICHELETTI, CHRISTIAN
Lauree magistrali 2024 Probabilistic Omega-regular Verification via Lexicographic Parity Supermartingales Probabilistic Omega-regular Verification via Lexicographic Parity Supermartingales CONTRO, DANIEL EDUARDO
Mostrati risultati da 1 a 2 di 2
Legenda icone

  •  file ad accesso aperto
  •  file ad accesso riservato
  •  file sotto embargo
  •  nessun file disponibile