Tree-Decompositions and the Model-Checking Problem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jörg Flum. Tree-Decompositions and the Model-Checking Problem. Bulletin of the EATCS, 73:78-98, 2001.

@article{Flum01,
  title = {Tree-Decompositions and the Model-Checking Problem},
  author = {Jörg Flum},
  year = {2001},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Flum01},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {73},
  pages = {78-98},
}

runs on WebDSL