Graph Abstraction for a Modal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink. Graph Abstraction for a Modal Logic. Bulletin of the EATCS, 97:106-116, 2009.

@article{BonevaKKR09,
  title = {Graph Abstraction for a Modal Logic},
  author = {Iovka Boneva and Jörg Kreiker and Marcos E. Kurbán and Arend Rensink},
  year = {2009},
  researchr = {https://researchr.org/publication/BonevaKKR09},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {97},
  pages = {106-116},
}

runs on WebDSL