Walter Hartong, Lars Hedrich, Erich Barke. On Discrete Modeling and Model Checking for Nonlinear Analog Systems. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 401-413, Springer, 2002. [doi]
@inproceedings{HartongHB02:0,
title = {On Discrete Modeling and Model Checking for Nonlinear Analog Systems},
author = {Walter Hartong and Lars Hedrich and Erich Barke},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2404/24040401.htm},
tags = {model checking, meta-model, modeling, Meta-Environment},
researchr = {https://researchr.org/publication/HartongHB02%3A0},
cites = {0},
citedby = {0},
pages = {401-413},
booktitle = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
editor = {Ed Brinksma and Kim Guldstrand Larsen},
volume = {2404},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43997-8},
}