@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{FWZKS-date07,
author = {Thomas Huining Feng and
Lynn Wang and
Wei Zheng and
Sri Kanajan and
Sanjit A. Seshia},
title = {Automatic Model Generation for
Black Box Real-Time Systems},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
year = {2007},
month = {April},
pages = {930--935},
publisher = {ACM Press},
}