1. OPUS

Auflistung nach Autor Göller, Stefan

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 2 von 2
ErscheinungsdatumTitelAutor(en)
2005Fixpoint logics on hierarchical structuresGöller, Stefan; Lohrey, Markus
2006Infinite state model checking of propositional dynamic logicsGöller, Stefan; Lohrey, Markus
Anzeige der Treffer 1 bis 2 von 2