@article{Padawitz10,
  title = {Algebraic Model Checking},
  author = {Peter Padawitz},
  year = {2010},
  url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/359},
  tags = {model checking, meta-model,  algebra, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Padawitz10},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {26},
}