@inproceedings{ADM1b,
title = {d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems },
author = {Asarin, Eugene and Dang, Thao and Maler, Oded},
year = {2001},
booktitle = {5th IFAC Symposium Nonlinear Control Systems NOLCOS},
team = {axe_Mohytos, TEMPO},
}
