Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces
FM, 2016.
@inproceedings{FM-2016-HolzerSBWW,
author = "Andreas Holzer and Daniel Schwartz-Narbonne and Mitra Tabaei Befrouei and Georg Weissenbacher and Thomas Wies",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_23",
isbn = "978-3-319-48988-9",
pages = "370--387",
title = "{Error Invariants for Concurrent Traces}",
year = 2016,
}