CTrigger

swMATH23066MaRDI QIDQ34850FDOQ34850

Author name not available (Why is that?)

Cited In (3)

• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• Title not available (Why is that?)
• Abstraction and mining of traces to explain concurrency bugs

This page was built for software: CTrigger