On the Duality between Observability and Reachability.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Browse the full FOSSACS paper archive.