Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
RAIRO-Theor. Inf. Appl., 35 1 (2001) 1-29
Published online: 15 April 2002
DOI: 10.1051/ita:2001107