Sfoglia per Autore  Schuppan, Viktor

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Survey on Directed Model Checking 1-gen-2008 Stefan, Edelkamp; Schuppan, Viktor; Dragan, Bosnacki; Anton, Wijs; Ansgar, Fehnker; Husain, Aljazzar
Diagnostic Information for Realizability 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
Towards a Notion of Unsatisfiable Cores for LTL 1-gen-2009 Schuppan, Viktor
NuGAT 1-gen-2009 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
RATSY - A new Requirements Analysis Tool with Synthesis 1-gen-2010 Roderick, Bloem; Cimatti, Alessandro; Karin, Greimel; Georg, Hofferek; Robert, Koenighofer; Roveri, Marco; Schuppan, Viktor; Richard, Seeber
Mostrati risultati da 1 a 6 di 6
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