DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms