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

bib: Add IDS entries for vcdpor, dcdpor


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent af9acb16
......@@ -1005,7 +1005,7 @@
address = {New York, NY, USA},
keywords = {Concurrency, Partial-order Reduction, Stateless
model-checking},
ids = {datacentric, datacentric-dpor}
ids = {dcdpor,dc-dpor,datacentric,datacentric-dpor}
}
@InProceedings{ chase2005:deque,
......@@ -1038,7 +1038,7 @@
doi = {10.1145/3360550},
articleno = {124},
numpages = {29},
ids = {vcdpor,vc-dpor}
ids = {vcdpor,vc-dpor,valuecentric,valuecentric-dpor}
}
@InProceedings{ chen2015:crash-hoare-logic,
......
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