@inproceedings{ADM2,
title = {The d/dt Tool for Verification of Hybrid Systems },
author = {Asarin, Eugene and Dang, Thao and Maler, Oded},
year = {2002},
booktitle = {Computer Aided Verification CAV'02},
note = {LNCS 2404},
pages = {365-370},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}
