default search action
"Petri Net Unfolding-Based Detection and Replay of Program Deadlocks."
Faming Lu et al. (2024)
- Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng:
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. IEEE Access 12: 53713-53738 (2024)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.