Bisimilarity for the Region Calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Simon Helsen. Bisimilarity for the Region Calculus. Higher-Order and Symbolic Computation, 17(4):347-394, 2004. [doi]

@article{Helsen04,
  title = {Bisimilarity for the Region Calculus},
  author = {Simon Helsen},
  year = {2004},
  url = {http://springerlink.metapress.com/index/10.1007/s10990-004-4868-x},
  researchr = {https://researchr.org/publication/Helsen04},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {17},
  number = {4},
  pages = {347-394},
}

runs on WebDSL