Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

First Page		Document Content
Date: 2018-01-15 12:22:36		Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 2,99 MB Share Document on Facebook