Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan
Semi-symbolic analysis of mixed-signal systems including discontinuities
DATE, 2014.
@inproceedings{DATE-2014-RadojicicGMP,
author = "Carna Radojicic and Christoph Grimm and Javier Moreno and Xiao Pan",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.029",
pages = "1--4",
publisher = "{IEEE}",
title = "{Semi-symbolic analysis of mixed-signal systems including discontinuities}",
year = 2014,
}