Regenerate Event-B specification PDF (5d81320e) · Commits · open-lins / cross-chain-transactions-event-b · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

cross-chain-transactions-event-b
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

5d81320e

Commit 5d81320e authored 11 months ago by Guzman Llambias

Downloads
- Patches
- Plain Diff

Regenerate Event-B specification PDF

parent 9830ac4e

No related branches found

No related tags found

Loading

Changes 11

Hide whitespace changes

Inline Side-by-side

Showing

Gateway_Event_B_specification___ICBC_Cross_chain_workshop (3).pdf 0 additions, 0 deletions

...Event_B_specification___ICBC_Cross_chain_workshop (3).pdf
gateway-event-b/latex/CCTx_Abstract_Animation_m2.tex 116 additions, 0 deletions

gateway-event-b/latex/CCTx_Abstract_Animation_m2.tex
gateway-event-b/latex/CCTx_Abstract_DLT_c1.tex 3 additions, 3 deletions

gateway-event-b/latex/CCTx_Abstract_DLT_c1.tex
gateway-event-b/latex/CCTx_Abstract_DLT_m1.tex 35 additions, 33 deletions

gateway-event-b/latex/CCTx_Abstract_DLT_m1.tex
gateway-event-b/latex/CCTx_Ethereum_Fabric_Animation_m3.tex 158 additions, 0 deletions

gateway-event-b/latex/CCTx_Ethereum_Fabric_Animation_m3.tex
gateway-event-b/latex/CCTx_Ethereum_Fabric_c2.tex 2 additions, 2 deletions

gateway-event-b/latex/CCTx_Ethereum_Fabric_c2.tex
gateway-event-b/latex/CCTx_Ethereum_Fabric_m2.tex 39 additions, 37 deletions

gateway-event-b/latex/CCTx_Ethereum_Fabric_m2.tex
gateway-event-b/latex/CCTx_Fabric_Ethereum_Animation_m3.tex 177 additions, 0 deletions

gateway-event-b/latex/CCTx_Fabric_Ethereum_Animation_m3.tex
gateway-event-b/latex/CCTx_Fabric_Ethereum_m2.tex 37 additions, 35 deletions

gateway-event-b/latex/CCTx_Fabric_Ethereum_m2.tex
gateway-event-b/latex/CCTx_Preserve_Balance_Gateway_m3.tex 57 additions, 55 deletions

gateway-event-b/latex/CCTx_Preserve_Balance_Gateway_m3.tex
gateway-event-b/latex/b2latex.sty 0 additions, 282 deletions

gateway-event-b/latex/b2latex.sty

with 624 additions and 447 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment