Sfoglia per Autore  Magnago, Enrico

Opzioni
Mostrati risultati da 1 a 5 di 5
Titolo Data di pubblicazione Autore(i) File
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 1-gen-2019 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 1-gen-2020 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Proving the Existence of Fair Paths in Infinite-State Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
LTL falsification in infinite-state systems 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Mostrati risultati da 1 a 5 di 5
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