Detecting deadlocks in concurrent systems

Research output: Book/ReportReportResearch

56 Citations (Scopus)
Original languageEnglish
Place of PublicationSaclay, France
PublisherLETI (CEA-Technologies Avancées)
Publication statusPublished - 1998
SeriesRapport DTA/LETI/DEIN/SLA/98-61

Cite this