AUTHOREA
Log in Sign Up Browse Preprints

loading page

Formalising a Gateway-based Blockchain Interoperability Solution with Event-B
  • Guzmán Llambías,
  • Laura González,
  • Raúl Ruggia
Guzmán Llambías
Pyxis Research, Pyxis, Facultad de Ingeniería, Universidad de la República

Corresponding Author:[email protected]

Author Profile
Laura González
Facultad de Ingeniería, Universidad de la República
Raúl Ruggia
Facultad de Ingeniería, Universidad de la República

Peer review timeline

03 Apr 2024Submitted to TechRxiv
03 Apr 2024Published in TechRxiv