Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra

Xiang, S.
science of computer programming 2020 Vol. 187 pp. 0-0
157
xiang2020modelingscience

Citation

ID: 89790
Ref Key: xiang2020modelingscience
Use this key to autocite in SciMatic or Thesis Manager

References

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
89790
Unique Identifier:
10.1016/j.scico.2019.102343
Network:
Scimatic Chain (ID: 481)
Loading...
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
4/5
Blockchain Upload Locked

Complete all 5 checklist items to tokenize your article

Saymatik Web3.0 Wallet