Modular Verification of Sequential Composition for Private Channels in Maude-NPA
Current Language EN
English English Türkçe Türkçe Español Español Português Português Pусский Pусский Filipino Filipino Tiếng Việt Tiếng Việt हिन्दी हिन्दी العربية العربية বাংলা বাংলা Deutsch Deutsch 中文 中文

Modular Verification of Sequential Composition for Private Channels in Maude-NPA

Yang, F.
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics) 2018 Vol. 11091 LNCS pp. 20-36
174
yang2018modularlecture

Access

DOI:
10.1007/978-3-030-01141-3_2

Citation

ID: 12141
Ref Key: yang2018modularlecture
Use this key to autocite in SciMatic or Thesis Manager

References

References

No Bibliography

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
12141
Unique Identifier:
10.1007/978-3-030-01141-3_2
Network:
Scimatic Chain (ID: 481)
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
4/5
Blockchain Upload Locked

Complete all 5 checklist items to tokenize your article

Gas fees required in SCI Coins
Buy SCI

Saymatik Web3.0 Wallet

Google Play
App Store