Run-Time Deadlock Detection

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

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

Access to Document

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

}

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 -