Mona: Monadic second-order logic in practice

This publication has 10 references indexed in Scilit:

• Hardware Verification using Monadic Second-Order Logic
  BRICS Report Series, 1995
• Monadic Second-order Logic for Parameterized Verification
  BRICS Report Series, 1994
• Reduction of OBDDs in linear time
  Information Processing Letters, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Minimisation of acyclic deterministic automata in linear time
  Theoretical Computer Science, 1992
• Automata on Infinite Objects
  Published by Elsevier ,1990
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
  Published by Elsevier ,1971