@InProceedings{Wojnakowski:2025,
author
=
"M.Wojnakowski and R.Wiśniewski and M.Zhou and Z.Li and M.Maliński and A.Obuchowicz and D.Konarczak",
title
=
"Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems",
booktitle
=
"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC); ISBN: 9798331533571",
address
=
"Wiedeń, Austria",
publisher
=
"- IEEE ",
pages
=
"1180--1186",
year
=
"2025",
}