Efficient Simplification of Bisimulation Formulas (1995)

View PDF

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

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