CTrigger
From MaRDI portal
Software:34850
No author found.
Related Items (3)
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Abstraction and mining of traces to explain concurrency bugs ⋮ Unnamed Item
This page was built for software: CTrigger
