A Proof System for Communicating Shared Resources - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

A. Gerber, I. Lee. A Proof System for Communicating Shared Resources. In IEEE Real-Time Systems Symposium. pages 288-299, 1990.

@inproceedings{GerberL90:0,
  title = {A Proof System for Communicating Shared Resources},
  author = {A.  Gerber and I. Lee},
  year = {1990},
  researchr = {https://researchr.org/publication/GerberL90%3A0},
  cites = {0},
  citedby = {0},
  pages = {288-299},
  booktitle = {IEEE Real-Time Systems Symposium},
}

runs on WebDSL