Elementary Transition Systems and Refinement - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. Elementary Transition Systems and Refinement. Acta Informatica, 29(6/7):555-578, 1992.

@article{NielsenRT92,
  title = {Elementary Transition Systems and Refinement},
  author = {Mogens Nielsen and Grzegorz Rozenberg and P. S. Thiagarajan},
  year = {1992},
  tags = {refinement},
  researchr = {https://researchr.org/publication/NielsenRT92},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {29},
  number = {6/7},
  pages = {555-578},
}

runs on WebDSL