Philipp Küfner
According to our database1,
Philipp Küfner
authored at least 2 papers
between 2012 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Modeling and verification of distributed algorithms in theorem proving environments (Modellierung und Verifikation verteilter Algorithmen mithilfe von Theorembeweisern)
PhD thesis, 2014
2012
Proceedings of the Theoretical Computer Science, 2012