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:11 - 7 self