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