On specification logics for algebra-coalgebra structures: Reconciling reachability and observability (2002)

Cached

Download Links

by Corina Cîrstea
Venue:Proceedings of FoSSaCS 2002, volume 2303 of LNCS
Citations:5 - 0 self