Marcello M. Bonsangue;Joost N. Kok
-;-
Hybrid action systems
Theoretical Computer Science
Action Systems with Continuous Behaviour
Hybrid Systems V