@book{DyckGiese2017,
  author    = {Johannes Dyck and Holger Giese},
  title     = {k-Inductive invariant checking for graph transformation systems},
  number    = {119},
  isbn      = {978-3-86956-406-7},
  year      = {2017},
}