## On computing the fixpoint of a set of boolean equations

Year:
2003
Note:
MSR-TR-2003-08 (Microsoft Research)
Laboratories: