Refinement of actions and equivalence no
β
Rob van Glabbeek; Ursula Goltz
π
Article
π
2001
π
Springer-Verlag
π
English
β 739 KB