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 (Scopus)

• Yayın Türü: Makale / Tam Makale
• Cilt numarası: 89 Sayı: 3
• Basım Tarihi: 2003
• Doi Numarası: 10.1016/s1571-0661(05)80007-6
• Dergi Adı: Electronic Notes in Theoretical Computer Science
• Derginin Tarandığı İndeksler: Scopus
• Sayfa Sayıları: ss.464-479
• Orta Doğu Teknik Üniversitesi Adresli: Hayır