Interface-based specification and verification of concurrency controllers

Copy For Citation

Betin-Can A., Bultan T.

Electronic Notes in Theoretical Computer Science, vol.89, no.3, pp.464-479, 2003 (Scopus)

• Publication Type: Article / Article
• Volume: 89 Issue: 3
• Publication Date: 2003
• Doi Number: 10.1016/s1571-0661(05)80007-6
• Journal Name: Electronic Notes in Theoretical Computer Science
• Journal Indexes: Scopus
• Page Numbers: pp.464-479
• Middle East Technical University Affiliated: No