Thomas Osterland
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- Thomas Osterland, Thomas Rose
- Thomas Osterland, Thomas Rose
- Thomas Osterland, Gordon Lemme, Thomas Rose
- Thomas Osterland, Thomas Rose, Clemens Putschli
- Thomas Osterland, Thomas Rose
- Karl-Heinz Krempels, Fabian Ohler, Thomas Osterland, Christoph Terwelp
- Thomas Osterland, Thomas RoseCorrectness of Smart Contracts for Consistency Enforcement. ERCIM News 2017 (110) (2017)