Efficient Simplification of Bisimulation Formulas (1995)

Cached

Download Links

by Uffe H. 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
Citations:1 - 0 self