✦ LIBER ✦

Debugging parallel programs using event graph manipulation

✍ Scribed by Siegfried Grabner; Jens Volkert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using temporal logic specifications to d

✍ M. Frey; A. Weininger 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 312 KB