A lightweight deadlock analysis for programs with threads and reentrant locks

A lightweight deadlock analysis for programs with threads and reentrant locks

Laneve, C.
science of computer programming 2019 Vol. 181 pp. 64-81
138
laneve2019ascience

Citation

ID: 80351
Ref Key: laneve2019ascience
Use this key to autocite in SciMatic or Thesis Manager

References

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
80351
Unique Identifier:
10.1016/j.scico.2019.06.002
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