Schuppan, Viktor

Schuppan, Viktor  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta
Diagnostic Information for Realizability 1-gen-2008 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev
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; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Koenighofer; Marco Roveri; Viktor Schuppan; Richard Seeber
Survey on Directed Model Checking 1-gen-2008 Stefan, Edelkamp; Schuppan, Viktor; Dragan, Bosnacki; Anton, Wijs; Ansgar, Fehnker; Husain, Aljazzar
Towards a Notion of Unsatisfiable Cores for LTL 1-gen-2009 Schuppan, Viktor