A Formal Specification of an Oscilloscope - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Norman M. Delisle, David Garlan. A Formal Specification of an Oscilloscope. IEEE Software, 7(5):29-36, 1990.

@article{DeliseG90,
  title = {A Formal Specification of an Oscilloscope},
  author = {Norman M. Delisle and David Garlan},
  year = {1990},
  researchr = {https://researchr.org/publication/DeliseG90},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {7},
  number = {5},
  pages = {29-36},
}

runs on WebDSL