Bisimulation Minimisations for Boolean Equation Systems

Jeroen J. A. Keiren, Tim A. C. Willemse. Bisimulation Minimisations for Boolean Equation Systems. In Kedar S. Namjoshi, Andreas Zeller, Avi Ziv, editors, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Volume 6405 of Lecture Notes in Computer Science, pages 102-116, Springer, 2009. [doi]

Abstract

Abstract is missing.