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é
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Sven Schneider et al.
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 enacting complex data dependencies in business processes
Meyer, Andreas et al.
Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
Giese, Holger and Becker, Basil
