A. S. Krishnakumar, Kwang-Ting Cheng
On the Computation of the Set of Reachable States of Hybrid Models
DAC, 1994.
@inproceedings{DAC-1994-KrishnakumarC,
author = "A. S. Krishnakumar and Kwang-Ting Cheng",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196583",
isbn = "0-7803-1836-6",
pages = "615--621",
publisher = "{ACM Press}",
title = "{On the Computation of the Set of Reachable States of Hybrid Models}",
year = 1994,
}