Walter Vogler. Partial S-Invariants for the Verification of Infinite Systems Families. In José Manuel Colom, Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Volume 2075 of Lecture Notes in Computer Science, pages 382-402, Springer, 2001. [doi]
Abstract is missing.