TU Berlin

Department of Telecommunication SystemsPublications

Page Content

to Navigation

Publications Tim Jungnickel

A Constructive Proof for FLP
Citation key bisping.2016.AFP
Author Benjamin Bisping and Paul-David Brodmann and Tim Jungnickel and Christina Rickmann and Henning Seidler and Anke Stüber and Arno Wilhelm-Weidner and Kirstin Peters and Uwe Nestmann
Year 2016
Journal Archive of Formal Proofs
Volume 2016
Link to publication Download Bibtex entry

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe