Eugene Asarin, Thao Dang 0001, Oded Maler. d/dt: a verification tool for hybrid systems. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 2893-2898, IEEE, 2001. [doi]
@inproceedings{AsarinDM01,
title = {d/dt: a verification tool for hybrid systems},
author = {Eugene Asarin and Thao Dang 0001 and Oded Maler},
year = {2001},
doi = {10.1109/.2001.980715},
url = {https://doi.org/10.1109/.2001.980715},
researchr = {https://researchr.org/publication/AsarinDM01},
cites = {0},
citedby = {0},
pages = {2893-2898},
booktitle = {40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001},
publisher = {IEEE},
isbn = {0-7803-7061-9},
}