On the Duality between Observability and Reachability (2001)

Cached

Download Links

by Michel Bidoit , Rolf Hennicker , Alexander Kurz
Venue:PROC. 4TH INT. CONF. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS'01
Citations:12 - 5 self