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

NameNASA Monographs in Systems and SoftwareEngineering
PublisherSpringer
ISSN (Print)1860-0131
ISSN (Electronic)2197-6597

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). (NASA Monographs in Systems and SoftwareEngineering). Springer. https://doi.org/10.1007/978-3-319-48628-4_10
Boer, Frank S. de ; Gouw, Stijn de. / Run-Time Deadlock Detection. Provably Correct Systems. editor / Mike Hinchey ; Jonathan P. Bowen ; Ernst-Rüdiger Olderog. Springer, 2017. pp. 245-264 (NASA Monographs in Systems and SoftwareEngineering).
@inbook{912e812c82994e2395ceedbf82bedea7,
title = "Run-Time Deadlock Detection",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2017",
doi = "10.1007/978-3-319-48628-4_10",
language = "English",
isbn = "978-3-319-48627-7",
series = "NASA Monographs in Systems and SoftwareEngineering",
publisher = "Springer",
pages = "245--264",
editor = "Mike Hinchey and {P. Bowen}, Jonathan and Ernst-R{\"u}diger Olderog",
booktitle = "Provably Correct Systems",

}

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

Run-Time Deadlock Detection. / Boer, Frank S. de; Gouw, Stijn de.

Provably Correct Systems. ed. / Mike Hinchey; Jonathan P. Bowen; Ernst-Rüdiger Olderog. Springer, 2017. p. 245-264 (NASA Monographs in Systems and SoftwareEngineering).

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

TY - CHAP

T1 - Run-Time Deadlock Detection

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2017

Y1 - 2017

UR - https://link.springer.com/book/10.1007%2F978-3-319-48628-4

U2 - 10.1007/978-3-319-48628-4_10

DO - 10.1007/978-3-319-48628-4_10

M3 - Chapter

SN - 978-3-319-48627-7

T3 - NASA Monographs in Systems and SoftwareEngineering

SP - 245

EP - 264

BT - Provably Correct Systems

A2 - Hinchey, Mike

A2 - P. Bowen, Jonathan

A2 - Olderog, Ernst-Rüdiger

PB - Springer

ER -

Boer FSD, Gouw SD. Run-Time Deadlock Detection. In Hinchey M, P. Bowen J, Olderog E-R, editors, Provably Correct Systems. Springer. 2017. p. 245-264. (NASA Monographs in Systems and SoftwareEngineering). https://doi.org/10.1007/978-3-319-48628-4_10