Modular verification of synchronization with reentrant locks


Creative Commons License

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 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/memcod.2010.5558623
  • Basıldığı Şehir: Grenoble
  • Basıldığı Ülke: Fransa
  • Sayfa Sayıları: ss.59-68