Login / Signup
Benjamin Körbel
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Special Case
Model Checking
Formal Proof
Top Venues
ICSOC
CoRR
</>
Publications
</>
Benjamin Körbel
,
Marten Sigwart
,
Philipp Frauenthaler
,
Michael Sober
,
Stefan Schulte
Blockchain-based Result Verification for Computation Offloading.
CoRR
(2021)
Benjamin Körbel
,
Marten Sigwart
,
Philipp Frauenthaler
,
Michael Sober
,
Stefan Schulte
Blockchain-Based Result Verification for Computation Offloading.
ICSOC
(2021)