[Back]


Talks and Poster Presentations (with Proceedings-Entry):

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; 2013-10-20 - 2013-10-23; in: "FMCAD", (2013), ISBN: 978-0-9835678-3-7; 201 - 209.



Electronic version of the publication:
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679411