A Logical Characterization of Observation Equivalence - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephen L. Bloom, Douglas R. Troeger. A Logical Characterization of Observation Equivalence. Theoretical Computer Science, 35:43-53, 1985.

@article{BloomT85,
  title = {A Logical Characterization of Observation Equivalence},
  author = {Stephen L. Bloom and Douglas R. Troeger},
  year = {1985},
  researchr = {https://researchr.org/publication/BloomT85},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {35},
  pages = {43-53},
}

runs on WebDSL