MOSEL: A FLexible Toolset for Monadic Second-Order Logic.

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

Browse the full TACAS paper archive.