Axioms for Branching Time - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mark Reynolds. Axioms for Branching Time. Journal of Logic and Computation, 12(4):679-697, 2002. [doi]

@article{Reynolds02,
  title = {Axioms for Branching Time},
  author = {Mark Reynolds},
  year = {2002},
  url = {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_04/120679.sgm.abs.html},
  researchr = {https://researchr.org/publication/Reynolds02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {12},
  number = {4},
  pages = {679-697},
}

runs on WebDSL