On the Duality between Observability and Reachability

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45315-6_5 ◽

2001 ◽

pp. 72-87 ◽

Author(s):

Michel Bidoit ◽

Rolf Hennicker ◽

Alexander Kurz

Download Full-text