Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (bibtex)
by Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Reference:
Parameterized Model Checking of Synchronous Distributed Algorithms by AbstractionBenjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian ZulegerVerification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 1-24, 2018, Springer.
Bibtex Entry:
@inproceedings{ARSWZ18,
  author    = {Benjamin Aminof and
               Sasha Rubin and
               Ilina Stoilkovska and
               Josef Widder and
               Florian Zuleger},
  editor    = {Isil Dillig and
               Jens Palsberg},
  title     = {Parameterized Model Checking of Synchronous Distributed Algorithms
               by Abstraction},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International 
               Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10747},
  pages     = {1--24},
  publisher = {Springer},
  year      = {2018},
  url       = {http://repositum.tuwien.ac.at/obvutwoa/2465907},
  doi       = {10.1007/978-3-319-73721-8_1},
  timestamp = {Wed, 03 Jan 2018 17:50:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/AminofRSWZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser