%0 Conference Paper %1 conf/icons/HerdeEFT08 %A Herde, Christian %A Eggers, Andreas %A Fränzle, Martin %A Teige, Tino %B ICONS %D 2008 %I IEEE Computer Society %K dblp %P 196-201 %T Analysis of Hybrid Systems Using HySAT. %U http://dblp.uni-trier.de/db/conf/icons/icons2008.html#HerdeEFT08 %@ 978-0-7695-3105-2

@inproceedings{conf/icons/HerdeEFT08, added-at = {2015-07-06T00:00:00.000+0200}, author = {Herde, Christian and Eggers, Andreas and Fränzle, Martin and Teige, Tino}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/231f0f5a6a31c4550641a33d6fb1d27b9/dblp}, booktitle = {ICONS}, crossref = {conf/icons/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.17}, interhash = {1924b5c5796a58772012d5ff1b9d8e2c}, intrahash = {31f0f5a6a31c4550641a33d6fb1d27b9}, isbn = {978-0-7695-3105-2}, keywords = {dblp}, pages = {196-201}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:58:39.000+0100}, title = {Analysis of Hybrid Systems Using HySAT.}, url = {http://dblp.uni-trier.de/db/conf/icons/icons2008.html#HerdeEFT08}, year = 2008 }