Jean-Michel Couvreur, Denis Poitrenaud. Detection of Illegal Behaviors Based on Unfoldings. In Susanna Donatelli, H. C. M. Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Volume 1639 of Lecture Notes in Computer Science, pages 364-383, Springer, 1999. [doi]
Abstract is missing.