Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia
Interactive presentation: Automatic model generation for black box real-time systems
DATE, 2007.
@inproceedings{DATE-2007-FengWZKS,
author = "Thomas Huining Feng and Lynn Wang and Wei Zheng and Sri Kanajan and Sanjit A. Seshia",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266566",
isbn = "978-3-9810801-2-4",
pages = "930--935",
publisher = "{ACM}",
title = "{Interactive presentation: Automatic model generation for black box real-time systems}",
year = 2007,
}