Interface-based specification and verification of concurrency controllers


Betin-Can A. , Bultan T.

Electronic Notes in Theoretical Computer Science, cilt.89, sa.3, ss.464-479, 2003 (Diğer Kurumların Hakemli Dergileri) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 89 Konu: 3
  • Basım Tarihi: 2003
  • Doi Numarası: 10.1016/s1571-0661(05)80007-6
  • Dergi Adı: Electronic Notes in Theoretical Computer Science
  • Sayfa Sayıları: ss.464-479