TY - JOUR AU - Ruohonen, Keijo TI - Undecidable event detection problems for ODEs of dimension one and two JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1997 SP - 67 EP - 79 VL - 31 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1997__31_1_67_0/ LA - en ID - ITA_1997__31_1_67_0 ER -