Efficient Simplification of Bisimulation Formulas (1995)

by Uffe Engberg, Kim S Larsen
Venue:In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 111--132. LNCS 1019