Lars Michael Kristensen, Antti Valmari. Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 104-123, Springer, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.