Run-Time Deadlock Detection

Frank S. de Boer; Stijn de Gouw

doi:10.1007/978-3-319-48628-4_10

Run-Time Deadlock Detection

Frank S. de Boer
, Stijn de Gouw

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Provably Correct Systems
Editors	Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Publisher	Springer
Chapter	10
Pages	245-264
Number of pages	20
ISBN (Electronic)	978-3-319-48628-4
ISBN (Print)	978-3-319-48627-7
DOIs	https://doi.org/10.1007/978-3-319-48628-4_10
Publication status	Published - 2017

Publication series

Series	NASA Monographs in Systems and Software Engineering
ISSN	1860-0131

Access to Document

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

Cite this

@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 Software Engineering",

publisher = "Springer",

pages = "245--264",

editor = "Mike Hinchey and \{P. Bowen\}, Jonathan and Ernst-R{\"u}diger Olderog",

booktitle = "Provably Correct Systems",

address = "United States",

}

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 Software Engineering

SP - 245

EP - 264

BT - Provably Correct Systems

A2 - Hinchey, Mike

A2 - P. Bowen, Jonathan

A2 - Olderog, Ernst-Rüdiger

PB - Springer

ER -

Run-Time Deadlock Detection

Publication series

Access to Document

Other files and links

Cite this