Dynamic Reductions for Model Checking Concurrent Software (bibtex)
by Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Reference:
Dynamic Reductions for Model Checking Concurrent SoftwareHenning Günther, Alfons Laarman, Ana Sokolova, Georg WeissenbacherVerification, Model Checking and Abstract Interpretation (VMCAI), volume 10145 of Lecture Notes in Computer Science, 2017, Springer.
Bibtex Entry:
@inproceedings{GLSW17:VMCAI,
  author    = {Henning G{\"u}nther and Alfons Laarman and Ana Sokolova and Georg Weissenbacher},
  title = {Dynamic Reductions for Model Checking Concurrent Software},
  booktitle   = {Verification, Model Checking and Abstract Interpretation (VMCAI)},
  publisher={Springer},
    series = {Lecture Notes in Computer Science},
      year      = {2017},
  volume = {10145},
  url = {http://dx.doi.org/10.1007/978-3-319-52234-0_14},
  doi = {10.1007/978-3-319-52234-0_14},
        }
Powered by bibtexbrowser