Christoph Sprenger

From MaRDI portal
Person:937299

Available identifiers

zbMath Open sprenger.christophMaRDI QIDQ937299

List of research outcomes





PublicationDate of PublicationType
Cutoff bounds for consensus algorithms2022-08-12Paper
Sound Security Protocol Transformations2013-08-06Paper
A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols2008-09-02Paper
Compositional verification of sequential programs with procedures2008-08-14Paper
Fundamental Approaches to Software Engineering2007-11-28Paper
On global induction mechanisms in aμ-calculus with explicit approximations2004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44178742003-07-30Paper

Research outcomes over time

This page was built for person: Christoph Sprenger

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:937299&oldid=7422023"
Powered by MediaWiki