On the integration of observability and reachability concepts (2002)

by Michel Bidoit , Rolf Hennicker
Venue:Foundations of Software Science and Computation Structures, LNCS
Citations:21 - 2 self