Lukas Zech, Karsten Wolf. Verifying Temporal Logic Properties in the Modular State Space. In Lars Michael Kristensen, Jan Martijn E. M. van der Werf, editors, Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Volume 14628 of Lecture Notes in Computer Science, pages 333-354, Springer, 2024. [doi]
Abstract is missing.