Talks and Poster Presentations (with Proceedings-Entry):

C. Dragoi, T. Henzinger, H. Veith, J. Widder, D. Zufferey:
"A Logic-Based Framework for Verifying Consensus Algorithms";
Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), San Diego; 2014-02-19 - 2014-02-21; in: "VMCAI", Springer / LNCS, 8318 (2014), ISBN: 978-3-642-54012-7; 161 - 181.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.