On the Complexity of the Linear-Time mu -calculus for Petri-Nets

Peter Habermehl. On the Complexity of the Linear-Time mu -calculus for Petri-Nets. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 102-116, Springer, 1997.

Abstract

Abstract is missing.