Auflistung nach Autor Göller, Stefan
Anzeige der Treffer 1 bis 2 von 2
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2005 | Fixpoint logics on hierarchical structures | Göller, Stefan; Lohrey, Markus |
2006 | Infinite state model checking of propositional dynamic logics | Göller, Stefan; Lohrey, Markus |