@article{BlomKR10,
  title = {Distributed Graph-Based State Space Generation},
  author = {Stefan Blom and Gijs Kant and Arend Rensink},
  year = {2010},
  url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/521},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BlomKR10},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {32},
}