Interface-based specification and verification of concurrency controllers


Betin-Can A., Bultan T.

Electronic Notes in Theoretical Computer Science, vol.89, no.3, pp.464-479, 2003 (Peer-Reviewed Journal) identifier

  • 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