A
Menu
February 13, 2020 article Aachen paper

Model checking smart contracts for Ethereum

Pervasive and Mobile Computing, vol. 63, pp. 101129

DOI: 10.1016/j.pmcj.2020.101129 OpenAlex

Authors 2

  1. 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

  2. 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).

References 29