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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.