Amanote Research

Amanote Research

    RegisterSign In

Verifying Liquidity of Bitcoin Contracts

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17138-4_10
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2019

Authors
Massimo BartolettiRoberto Zunino
Publisher

Springer International Publishing


Related search

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

Proceedings of the Institute for System Programming of the RAS
2018English

Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash?

2019English

Bitcoin Poison? Anecdotal Evidence From Bitcoin Miners Revenue

Applied Economics and Finance
2018English

Beyond Bitcoin

CFA Institute Magazine
2015English

Functioning Mechanism of Bitcoin

Facta Universitatis, Series: Economics and Organization
2018English

The Mathematics of Bitcoin

EMS Newsletter
2020English

Banks’ Liquidity Buffers and the Role of Liquidity Regulation

Journal of Financial Services Research
AccountingEconomicsFinanceEconometrics
2014English

Asset Liquidity and Stock Liquidity

Journal of Financial and Quantitative Analysis
AccountingEconomicsEconometricsFinance
2012English

Bitcoin and Blockchain Technology

Blockchain and Crypt Currency
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy