%0 Conference Paper %1 conf/date/HartongHB02 %A Hartong, Walter %A Hedrich, Lars %A Barke, Erich %B DATE %D 2002 %I IEEE Computer Society %K dblp %P 1080 %T An Approach to Model Checking for Nonlinear Analog Systems. %U http://dblp.uni-trier.de/db/conf/date/date2002.html#HartongHB02 %@ 0-7695-1471-5

@inproceedings{conf/date/HartongHB02, added-at = {2015-11-11T00:00:00.000+0100}, author = {Hartong, Walter and Hedrich, Lars and Barke, Erich}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a5ca417fb9c3cfe317eff68511cb7b4e/dblp}, booktitle = {DATE}, crossref = {conf/date/2002}, ee = {http://dl.acm.org/citation.cfm?id=874473}, interhash = {26d111ab3cb452dde2e076386db93b6b}, intrahash = {a5ca417fb9c3cfe317eff68511cb7b4e}, isbn = {0-7695-1471-5}, keywords = {dblp}, pages = 1080, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:24:05.000+0100}, title = {An Approach to Model Checking for Nonlinear Analog Systems.}, url = {http://dblp.uni-trier.de/db/conf/date/date2002.html#HartongHB02}, year = 2002 }