@inproceedings{ADF+6,
title = { Recent Progress in Continuous and Hybrid Reachability Analysis },
author = {Asarin, Eugene and Dang, Thao and Frehse, Goran and Girard, Antoine and Le Guernic, Colas and Maler, Oded},
month = {October},
year = {2006},
booktitle = {CACSD 2006},
pages = {1582-1587},
publisher = {IEEE},
team = {axe_Mohytos, TEMPO},
}
