Communication-Closed Asynchronous Protocols (bibtex)
by Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
Reference:
Communication-Closed Asynchronous ProtocolsAndrei Damian, Cezara Dragoi, Alexandru Militaru, Josef WidderComputer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, pages 344–363, 2019.
Bibtex Entry:
@inproceedings{DDMW19,
  author    = {Andrei Damian and
               Cezara Dragoi and
               Alexandru Militaru and
               Josef Widder},
  title     = {Communication-Closed Asynchronous Protocols},
  booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
               {II}},
  pages     = {344--363},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-25543-5\_20},
}
Powered by bibtexbrowser