Commit 81934ccf authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Formatting


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 3de78ceb
......@@ -2997,17 +2997,17 @@
}
@InProceedings{ nguyen2018:quasi,
author = {Huyen T. T. Nguyen and César Rodríguez and
Marcelo Sousa and Camille Coti and Laure Petrucci},
editor = {Hana Chockler and Georg Weissenbacher},
title = {Quasi-optimal partial order reduction},
author = {Huyen T. T. Nguyen and César Rodríguez and Marcelo Sousa
and Camille Coti and Laure Petrucci},
booktitle = {\bibCAV{2018}},
year = {2018},
editor = {Hana Chockler and Georg Weissenbacher},
series = {LNCS},
volume = {10982},
pages = {354--371},
publisher = {Springer},
year = {2018},
doi = {10.1007/978-3-319-96142-2\_22},
doi = {10.1007/978-3-319-96142-2\_22}
}
@InProceedings{ norris2013:cdschecker,
......
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