Error Invariants for Concurrent Traces (bibtex)
by Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Reference:
Error Invariants for Concurrent TracesAndreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas WiesFormal Methods - 21st International Symposium, FM 2016, volume 9995 of Lecture Notes in Computer Science, pages 370-387, 2016, Springer.
Bibtex Entry:
@inproceedings{HSTWW16:FM,
  author    = {Andreas Holzer and Daniel Schwartz-Narbonne and Mitra Tabaei Befrouei and Georg Weissenbacher and Thomas Wies},
  title     = {Error Invariants for Concurrent Traces},
  booktitle = {Formal Methods - 21st International Symposium, {FM} 2016},
  pages     = {370-387},
  year      = {2016},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-319-48989-6_23},
  doi       = {10.1007/978-3-319-48989-6_23},
}
Powered by bibtexbrowser