Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory Programs (bibtex)
by Thomas Pani, Georg Weissenbacher, Florian Zuleger
Reference:
Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory ProgramsThomas Pani, Georg Weissenbacher, Florian Zuleger, 2020.Note: under submission
Bibtex Entry:
@article{DBLP:journals/fmsd/PaniWZ20,
  author    = {Thomas Pani and
               Georg Weissenbacher and
               Florian Zuleger},
  title     = {Rely-Guarantee Bound Analysis of Parameterized Concurrent
               Shared-Memory Programs},
  year = {2020},
  note = {under submission},
  keywords = {"tmca"}
}
Powered by bibtexbrowser