What is Branching time semantics and why to use it? - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rob J. van Glabbeek. What is Branching time semantics and why to use it?. Bulletin of the EATCS, 53:191-198, 1994.

@article{Glabbeek94,
  title = {What is Branching time semantics and why to use it?},
  author = {Rob J. van Glabbeek},
  year = {1994},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Glabbeek94},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {53},
  pages = {191-198},
}

runs on WebDSL