Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - DATA
ID - DBLP:data/10/TuncMPV23
AU - Tunç, Hünkar Can
AU - Mathur, Umang
AU - Pavlogiannis, Andreas
AU - Viswanathan, Mahesh
TI - Sound Dynamic Deadlock Prediction in Linear Time.
PY - 2023/03/
PB - Zenodo
DO - 10.5281/ZENODO.7809600
UR - https://doi.org/10.5281/zenodo.7809600
ER -