TY - JOUR AU - Brihaye, Thomas AU - Bruyère, Véronique AU - Render, Elaine TI - Formal language properties of hybrid systems with strong resets JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2010 SP - 79 EP - 111 VL - 44 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2010006/ DO - 10.1051/ita/2010006 LA - en ID - ITA_2010__44_1_79_0 ER -