@inproceedings{DBLP:conf/compsac/FekihLJAG22,
  author    = {Rim Ben Fekih and
               Mariam Lahami and
               Mohamed Jmaiel and
               Ahmed Ben Ali and
               Philippe Genestier},
  title     = {Towards Model checking approach for Smart contract validation in the
               {EIP-1559} Ethereum},
  booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
               {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
  pages     = {83--88},
  publisher = {{IEEE}},
  year      = {2022},
  url       = {https://doi.org/10.1109/COMPSAC54236.2022.00020},
  doi       = {10.1109/COMPSAC54236.2022.00020},
  timestamp = {Thu, 11 Aug 2022 16:32:02 +0200},
  biburl    = {https://dblp.org/rec/conf/compsac/FekihLJAG22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}