✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || Fast and Accurate Static Data-Race Detection for Concurrent Programs

✍ Scribed by Damm, Werner; Hermanns, Holger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 334 KB

[Lecture Notes in Computer Science] Patt

✍ Denzler, Joachim; Notni, Gunther; Süße, Herbert 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 317 KB

[Lecture Notes in Computer Science] Simu

✍ Noda, Itsuki; Ando, Noriaki; Brugali, Davide; Kuffner, James J. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 412 KB