A formal model for ledger management systems based on contracts and temporal logic

MLA

Paolo Bottoni, et al. “A Formal Model for Ledger Management Systems Based on Contracts and Temporal Logic.” Blockchain: Research and Applications, vol. 3, no. 1, Mar. 2022. EBSCOhost, https://doi.org/10.1016/j.bcra.2022.100062.

APA

Paolo Bottoni, Anna Labella, & Remo Pareschi. (2022). A formal model for ledger management systems based on contracts and temporal logic. Blockchain: Research and Applications, 3(1). https://doi.org/10.1016/j.bcra.2022.100062

Chicago

Paolo Bottoni, Anna Labella, and Remo Pareschi. 2022. “A Formal Model for Ledger Management Systems Based on Contracts and Temporal Logic.” Blockchain: Research and Applications 3 (1). doi:10.1016/j.bcra.2022.100062.