Commit a09cff1b authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Fix vcdpor-rf citation


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 5211c581
......@@ -300,15 +300,20 @@
publisher = {IEEE Computer Society Press}
}
@InProceedings{ agarwal2021:vcdpor-rf-temp,
title = {Stateless Model Checking under a Reads-Value-From
@InProceedings{ agarwal2021:vcdpor-rf,
title = {Stateless Model Checking Under a Reads-Value-From
Equivalence},
author = {Agarwal, Pratyush and Chatterjee, Krishnendu and Pathak,
Shreya and Pavlogiannis, Andreas and Toman, Viktor},
journal = {\bibCAV{2021}},
booktitle = {\bibCAV{2021}},
year = {2021},
month = jul,
ids = {vcdpor-rf-temp}
editor = {Silva, Alexandra and Leino, K. Rustan M.},
publisher = {Springer International Publishing},
address = {Cham},
pages = {341--366},
doi = {10.1007/978-3-030-81685-8_16},
isbn = {978-3-030-81685-8}
}
@Article{ aghayev2017:evolving-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