Modular verification of synchronization with reentrant locks

---

Atıf İçin Kopyala

Bultan T., Yu F., Can A.

8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, Fransa, 26 - 28 Temmuz 2010, ss.59-68

• Doi Numarası: 10.1109/memcod.2010.5558623
• Basıldığı Şehir: Grenoble
• Basıldığı Ülke: Fransa
• Sayfa Sayıları: ss.59-68