Commit 82cf310a authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add temporary BAM citation


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 00cf6502
......@@ -39,6 +39,7 @@
\newcommand{\bibLINUXEXPO}[1]{LinuxExpo #1}
\newcommand{\bibLOLA}[1]{LOLA #1}
\newcommand{\bibMSPC}[1]{MSPC #1}
\newcommand{\bibNETYS}[1]{NETYS #1}
\newcommand{\bibOLS}[1]{OLS #1}
\newcommand{\bibOOPSLA}[1]{OOPSLA #1}
\newcommand{\bibOPODIS}[1]{OPODIS #1}
......@@ -2293,6 +2294,16 @@
ids = {hmc}
}
@InProceedings{ kokologiannakis2021:bam,
title = {{BAM}: {Efficient} Model Checking for Barriers},
author = {Kokologiannakis, Michalis and Vafeiadis, Viktor},
booktitle = {\bibNETYS{2021}},
year = {2021},
series = {LNCS},
publisher = {Springer},
ids = {bam}
}
@Article{ kokologiannakis2021:persevere,
title = {{PerSeVerE}: {Persistency} semantics for verification
under ext4},
......
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