Detecting Race Conditions in Parallel Programs that Use One Semaphore.
Journal
Algorithms and Data Structures, Third Workshop, WADS '93, Montr?al, Canada, August 11-13, 1993, Proceedings
Pages
471-482
Date Issued
1993
Author(s)
Lu, Hsueh-I
Klein, Philip N.
Netzer, Robert H. B.
HSUEH-I LU
SDGs
Type
conference paper