Walter Hartong, Lars Hedrich, Erich Barke
An Approach to Model Checking for Nonlinear Analog Systems
DATE, 2002.
@inproceedings{DATE-2002-HartongHB,
acmid = "874473",
author = "Walter Hartong and Lars Hedrich and Erich Barke",
booktitle = "{Proceedings of the Seventh Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2002.998436",
isbn = "0-7695-1471-5",
pages = "1080",
publisher = "{IEEE Computer Society}",
title = "{An Approach to Model Checking for Nonlinear Analog Systems}",
year = 2002,
}