DOI,IST REx ID,Title of publication
10.1007/978-3-319-66799-7_11,788,Robust detection in leak-prone population protocols