@book{SchneiderMaximovaGiese2022,
  author    = {Sven Schneider and Maria Maximova and Holger Giese},
  title     = {Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction},
  number    = {143},
  isbn      = {978-3-86956-531-6},
  doi       = {10.25932/publishup-54585},
  year      = {2022},
}