View in EDS

Specification and verification of synchronization with condition variables.

Saved in:
Bibliographic Details
Title: Specification and verification of synchronization with condition variables.
Authors: De C. Gomes, Pedro1, pedrodcg@kth.se, Gurov, Dilian1, dilian@kth.se, Huisman, Marieke2, m.huisman@utwente.nl, Artho, Cyrille1, artho@kth.se
Source: Science of Computer Programming; Oct2018, Vol. 163, p174-189, 16p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first