TY  - SER
AU  - Karam, Gerald M.
AU  - Buhr, R. J. A.
TI  - Starvation and Critical Race Analyzers  for  Ada
KW  - Ada
KW  - Analysis
KW  - Concurrent Systems
ER  -