@InCollection{Su:2026,
author
=
"Y.Su and Q.Zhu and R.Wiśniewski and L.Qi and S.Wang",
title
=
"Some limitations of structure-based methods for deadlock detection problems of S<sup>4</sup>PR",
pages
=
"141--153",
year
=
"2026",
booktitle
=
"2025 International Conference on Networking, Sensing and Control (ICNCS)Oulu, Finland, 01-03 October, 2025 ISBN: 9798331597498",
publisher
=
"IEEE Xplore",
address
=
"-",
}