Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. MOSEL: A FLexible Toolset for Monadic Second-Order Logic. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 183-202, Springer, 1997.
Abstract is missing.