LA TORRE, SALVATORE

LA TORRE, SALVATORE  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
Automata-theoretic Decision of Timed Games 1-gen-2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Dense Real-time Games 1-gen-2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Model-checking the Secure Release of a Time-locked Secret over a Network 1-gen-2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 1-gen-2002 LA TORRE, Salvatore; Murano, Aniello; S., Mukhopadhyay
Reasoning About Co-Buchi Tree Automata 1-gen-2005 LA TORRE, Salvatore; Murano, Aniello
Weak Muller Acceptance Condition for Tree Automata 1-gen-2002 LA TORRE, Salvatore; Murano, Aniello; M., Napoli
Weak Muller Acceptance Conditions for Tree Automata 1-gen-2005 Murano, Aniello; LA TORRE, Salvatore; M., Napoli