{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3883/paper3_SPIRIT_Bellomarini.html","spt.description":null,"spt.id":"Vol-3883/paper3_SPIRIT_Bellomarini","spt.wikidataid":null,"spt.title":"Strategic Reasoning for BitML Smart Contracts","spt.pdfUrl":"https://ceur-ws.org/Vol-3883/paper3_SPIRIT_Bellomarini.pdf","spt.volume":{"number":3883,"acronym":"AI4CC-IPS-RCRA-SPIRIT 2024","wikidataid":"Q131677329","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)","description":"Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop","url":"http://ceur-ws.org/Vol-3883/","date":"2024-12-24","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-3883-1"},"spt.session":null,"cvb.id":"Vol-3883/paper3_SPIRIT_Bellomarini","cvb.title":"Strategic Reasoning for BitML Smart Contracts","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Luigi Bellomarini,Marco Favorito,Giuseppe Galano","cvb.vol_number":"3883","cvb.pdf_name":"paper3_SPIRIT_Bellomarini.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/rcra/BellomariniFG24","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/rcra/2024","dblp.volume_number":3883,"dblp.title":"Strategic Reasoning for BitML Smart Contracts.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/223/5577","label":"Marco Favorito","wikidata_id":null,"orcid_id":"0000-0001-9566-3576","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/86/6775","label":"Luigi Bellomarini","wikidata_id":"Q130914298","orcid_id":"0000-0001-6863-0162","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/302/8419","label":"Giuseppe Galano","wikidata_id":null,"orcid_id":null,"gnd_id":null}],"dblp.pdf_id":"Vol-3883/paper3_SPIRIT_Bellomarini"}