An improved algorithm for the evaluation of fixpoint expressions

This publication has 4 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• A unified approach for showing language containment and equivalence between various types of ω-automata
  Published by Springer Nature ,1990
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986