Methodical Concurrency Design in Education, Part II: Deadlock.

A. Bijlsma, C.M. Bockisch, H.J.M. Passier, H.J. Pootjes

Research output: Book/ReportTechnical reportProfessional

Original languageEnglish
Place of PublicationHeerlen (NL)
PublisherOpen Universiteit Nederland
VolumeTR-OU-INF-2015-01b
Publication statusSubmitted - 17 Dec 2015

Cite this