DOI,IST REx ID,Title of publication
null,5448,Data-centric dynamic partial order reduction