cvb.authors: Luigi Bellomarini,Marco Favorito,Giuseppe Galano
cvb.fail: null
cvb.id: Vol-3883/paper3_SPIRIT_Bellomarini
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper3_SPIRIT_Bellomarini.pdf
cvb.position: null
cvb.title: Strategic Reasoning for BitML Smart Contracts
cvb.type: null
cvb.vol_number: '3883'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/223/5577
  gnd_id: null
  label: Marco Favorito
  orcid_id: 0000-0001-9566-3576
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/86/6775
  gnd_id: null
  label: Luigi Bellomarini
  orcid_id: 0000-0001-6863-0162
  wikidata_id: Q130914298
- dblp_author_id: https://dblp.org/pid/302/8419
  gnd_id: null
  label: Giuseppe Galano
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/rcra/2024
dblp.dblp_publication_id: https://dblp.org/rec/conf/rcra/BellomariniFG24
dblp.pdf_id: Vol-3883/paper3_SPIRIT_Bellomarini
dblp.title: Strategic Reasoning for BitML Smart Contracts.
dblp.volume_number: 3883
spt.description: null
spt.html_url: /Vol-3883/paper3_SPIRIT_Bellomarini.html
spt.id: Vol-3883/paper3_SPIRIT_Bellomarini
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3883/paper3_SPIRIT_Bellomarini.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Strategic Reasoning for BitML Smart Contracts
spt.volume:
  acronym: AI4CC-IPS-RCRA-SPIRIT 2024
  date: '2024-12-24'
  dblp: null
  description: Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop
  k10plus: null
  number: 3883
  title: Proceedings of the International Workshop on Artificial Intelligence for
    Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on
    Experimental evaluation of algorithms for solving problems with combinatorial
    explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning
    in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
  url: http://ceur-ws.org/Vol-3883/
  urn: urn:nbn:de:0074-3883-1
  wikidataid: Q131677329
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
