Explore
Implementing a crowd-sourced picture archive for Bad Harzburg
Rieke Freund et al.
Inductive invariant checking with partial negative application conditions
Dyck, Johannes and Giese, Holger
Internationale Perspektiven zur Musik(lehrer)ausbildung in Europa
Rodríguez-Quiles, José
Jewish Families and Kinship in the Early Modern and Modern Eras
Mirjam Thulin et al.
k-Inductive invariant checking for graph transformation systems
Dyck, Johannes and Giese, Holger
Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
Giese, Holger and Becker, Basil
Modeling collaborations in self-adaptive systems of systems
Wätzoldt, Sebastian and Giese, Holger
Modular and incremental global model management with extended generalized discrimination networks
Matthias Barkowsky and Holger Giese