Commit 00cf6502 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

Formatting


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 537bb361
......@@ -128,8 +128,8 @@
@InProceedings{ abdulla2014:optimal-dpor,
title = {Optimal dynamic partial order reduction},
author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and
Konstantinos Sagonas},
author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson
and Konstantinos Sagonas},
booktitle = {\bibPOPL{2014}},
year = {2014},
pages = {373--384},
......@@ -1451,16 +1451,15 @@
}
@InProceedings{ elmas2009:qed,
author = {Tayfun Elmas and Shaz Qadeer and Serdar Tasiran},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {A calculus of atomic actions},
author = {Tayfun Elmas and Shaz Qadeer and Serdar Tasiran},
booktitle = {\bibPOPL{2009}},
year = {2009},
editor = {Zhong Shao and Benjamin C. Pierce},
pages = {2--15},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480885},
doi = {10.1145/1480881.1480885},
doi = {10.1145/1480881.1480885}
}
@InProceedings{ emerson2005:symmetry,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment