Invariants for Parameterised Boolean Equation Systems

Simona Orzan, Tim A. C. Willemse. Invariants for Parameterised Boolean Equation Systems. Theoretical Computer Science, 411(11-13):1338-1371, 2010. [doi]

Abstract

Abstract is missing.