3540655069

Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems (Lecture Notes in Computer Science, 1426)