Efficient Simplification of Bisimulation Formulas (1995)
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 |
Document Versions
| Efficient Simplification of Bisimulation Formulas –Uffe H. Engberg, Kim S. Larsen — 1995 — In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 111--132. LNCS 1019 |
