Transition Specifications for Dynamic Abstract Data Type - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Martin Große-Rhode. Transition Specifications for Dynamic Abstract Data Type. Bulletin of the EATCS, 55, 1995.

@article{Grosse-Rhode95,
  title = {Transition Specifications for Dynamic Abstract Data Type},
  author = {Martin Große-Rhode},
  year = {1995},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Grosse-Rhode95},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {55},
}

runs on WebDSL