Skip to content
cs-conference-ranking.org

On Proofs of Programs for Synchronization.

Irene Greif

VenueA*ICALP
Year1976
ProceedingsICALP
DBLP recordconf/icalp/Greif76 ↗

Browse the full ICALP paper archive.