Commit 84ca1db9 authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

parosh aziz abdulla

parent be675f38
......@@ -128,7 +128,7 @@
@InProceedings{ abdulla2014:optimal-dpor,
title = {Optimal dynamic partial order reduction},
author = {Parosh Abdulla and Stavros Aronis and Bengt Jonsson and
author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and
Konstantinos Sagonas},
booktitle = {\bibPOPL{2014}},
year = {2014},
......
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