Run-Time Deadlock Detection

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationProvably Correct Systems
EditorsMike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
PublisherSpringer
Chapter10
Pages245-264
Number of pages20
ISBN (Electronic)978-3-319-48628-4
ISBN (Print)978-3-319-48627-7
DOIs
Publication statusPublished - 2017

Publication series

SeriesNASA Monographs in Systems and Software Engineering
ISSN1860-0131

Cite this

Boer, F. S. D., & Gouw, S. D. (2017). Run-Time Deadlock Detection. In M. Hinchey, J. P. Bowen, & E-R. Olderog (Eds.), Provably Correct Systems (pp. 245-264). Springer. NASA Monographs in Systems and Software Engineering https://doi.org/10.1007/978-3-319-48628-4_10