Model checking smart contracts for Ethereum
Pervasive and Mobile Computing, vol. 63, pp. 101129
Authors 2
-
Thomas Osterland corresponding
Fraunhofer Institute for Applied Information Technology
Affiliation as printed
Fraunhofer Institute for Applied Information Technology FIT, Schloss Birlinghoven, 53754 Sankt Augustin, Germany
-
Thomas Rose Aachen
RWTH Aachen University · Fraunhofer Institute for Applied Information Technology
Affiliation as printed
Fraunhofer Institute for Applied Information Technology FIT, Schloss Birlinghoven, 53754 Sankt Augustin, Germany
RWTH Aachen, Ahornstraße 55, 52074 Aachen, Germany
Cited by 46 stored of 47
No patents citing this paper on Lens.org (checked 2026-10-06).