Henning Burchardt, Jens Oehlerking, Oliver E. Theel. Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China. pages 374-378, IEEE Computer Society, 2005. [doi]
@inproceedings{BurchardtOT05,
title = {Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems},
author = {Henning Burchardt and Jens Oehlerking and Oliver E. Theel},
year = {2005},
doi = {10.1109/PRDC.2005.59},
url = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2005.59},
tags = {e-science},
researchr = {https://researchr.org/publication/BurchardtOT05},
cites = {0},
citedby = {0},
pages = {374-378},
booktitle = {11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-2492-3},
}