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

bib: Maintain format


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 7df37ac1
......@@ -99,6 +99,7 @@
\newcommand{\bibTOPLAS}{{ACM} Trans. Program. Lang. Syst.}
\newcommand{\bibTPDS}{{IEEE} Trans. Parallel Distrib. Syst.}
\newcommand{\bibTS}{{ACM} Trans. Storage}
\newcommand{\bibTSE}{{IEEE} Trans. Software Eng.}
"}
@Article{ abadi1995:dynamic-typing,
......@@ -1471,18 +1472,6 @@
publisher = {ACM}
}
@Article{ flanagan2005:purity,
author = {Cormac Flanagan and Stephen N. Freund and Shaz Qadeer},
title = {Exploiting Purity for Atomicity},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {4},
pages = {275--291},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.47},
doi = {10.1109/TSE.2005.47},
}
@InProceedings{ flanagan2005:dpor,
title = {Dynamic partial-order reduction for model checking
software},
......@@ -1497,6 +1486,18 @@
ids = {dpor}
}
@Article{ flanagan2005:purity,
title = {Exploiting Purity for Atomicity},
author = {Cormac Flanagan and Stephen N. Freund and Shaz Qadeer},
journal = {\bibTSE},
year = {2005},
volume = {31},
number = {4},
pages = {275--291},
url = {https://doi.org/10.1109/TSE.2005.47},
doi = {10.1109/TSE.2005.47}
}
@InProceedings{ flatt1998:units,
title = {Units: {Cool} modules for {HOT} languages},
author = {Matthew Flatt and Matthias Felleisen},
......
Supports Markdown
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