TY - JOUR AU - Cîrstea, Corina TI - Integrating observational and computational features in the specification of state-based, dynamical systems JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2001 SP - 1 EP - 29 VL - 35 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_2001__35_1_1_0/ LA - en ID - ITA_2001__35_1_1_0 ER -