Canonical Institutions of Behaviour
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Hi-index | 0.00 |