IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 7 di 7
Titolo Tipologia Data di pubblicazione Autore(i) File
Reasoning About Co-Buchi Tree Automata 4.1 Articoli in Atti di convegno 2005 LA TORRE, Salvatore; Murano, Aniello
Weak Muller Acceptance Conditions for Tree Automata 1.1 Articolo in rivista 2005 Murano, Aniello; LA TORRE, Salvatore; M., Napoli
Model-checking the Secure Release of a Time-locked Secret over a Network 1.1 Articolo in rivista 2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Automata-theoretic Decision of Timed Games 4.1 Articoli in Atti di convegno 2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 4.1 Articoli in Atti di convegno 2002 LA TORRE, Salvatore; Murano, Aniello; S., Mukhopadhyay
Dense Real-time Games 4.1 Articoli in Atti di convegno 2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Weak Muller Acceptance Condition for Tree Automata 4.1 Articoli in Atti di convegno 2002 LA TORRE, Salvatore; Murano, Aniello; M., Napoli
Mostrati risultati da 1 a 7 di 7
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