External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specification and Verification of Synchronization with Condition Variables

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman. Specification and Verification of Synchronization with Condition Variables. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Volume 694 of Communications in Computer and Information Science, pages 3-19, 2016. [doi]

Authors

Pedro de Carvalho Gomes

This author has not been identified. Look up 'Pedro de Carvalho Gomes' in Google

Dilian Gurov

This author has not been identified. Look up 'Dilian Gurov' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google
runs on