Similar Items: Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework
- A formal specification framework for smart grid components
- Data replication and update propagation in XML P2P data management systems
- An Overview of Smart Local Energy Systems
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- Blockchain‐Based Secure Data Sharing for IoT Devices Using Smart Contracts: A Systematic Review and Taxonomy
- Geographic Patterns in I2P Peer Selection: An Empirical Network Topology Analysis