Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 3 di 3
Titolo Tipologia Data di pubblicazione Autore(i) File
Changes in lymphocytes, neutrophils and immunoglobulins in year-1 cladribine treatment in multiple sclerosis 1.1 Articolo in rivista 2022 Spiezia, Antonio Luca; Cerbone, Vincenza; Molinari, Eduardo Alberto; Capasso, Nicola; Lanzillo, Roberta; Carotenuto, Antonio; Petracca, Maria; Novarella, Federica; Covelli, Bianca; Scalia, Giulia; Brescia Morra, Vincenzo; Moccia, Marcello
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling 4.1 Articoli in Atti di convegno 2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Mostrati risultati da 1 a 3 di 3
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