Structural Analysis of Boolean Equation Systems

Jeroen J. A. Keiren, Michel A. Reniers, Tim A. C. Willemse. Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log., 13(1):8, 2012. [doi]

Abstract

Abstract is missing.