Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Deadlock Property Analysis of...

Treffer: Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

Title:
Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
Authors:
Liu, Wei, Wang, Lu, Du, Yuyue, Li, Maozhen
Source:
International Journal of Parallel Programming. August 2017 45(4):879-898
Database:
Springer Nature Journals