On the Integration of Observability and Reachability Concepts.

Michel Bidoit, Rolf Hennicker

Browse the full FOSSACS paper archive.