Walter Hartong, Lars Hedrich, Erich Barke
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
CAV, 2002.
@inproceedings{CAV-2002-HartongHB,
author = "Walter Hartong and Lars Hedrich and Erich Barke",
booktitle = "{Proceedings of the 14th International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-45657-0_33",
isbn = "3-540-43997-8",
pages = "401--413",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On Discrete Modeling and Model Checking for Nonlinear Analog Systems}",
volume = 2404,
year = 2002,
}