Login / Signup

Achievable Bisimilar Behaviour of Abstract State Systems.

Giordano PolaArjan J. van der SchaftMaria Domenica Di Benedetto
Published in: CDC/ECC (2005)
Keyphrases