Commit 100c19ca authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add reference for genmc page


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 5415419c
......@@ -4112,6 +4112,19 @@
urldate = {2020-05-20}
}
@Misc{ www:genmc,
key = {Model checking for weakly consistent libraries (Project
page)},
title = {Model checking for weakly consistent libraries (Project
page)},
author = {Kokologiannakis, Michalis and Raad, Azalea and Vafeiadis,
Viktor},
year = {2019},
url = {https://plv.mpi-sws.org/genmc},
urldate = {2021-04-01},
ids = {genmc-page}
}
@Misc{ www:joe,
key = {joe},
title = {{JOE} - Joe's Own Editor},
......
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