A compositional theory of refinement for branching time (2003)

Cached

Download Links

by Panagiotis Manolios
Venue:12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, volume 2860 of LNCS
Citations:10 - 6 self