Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige. Analysis of Hybrid Systems Using HySAT. In The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico. pages 196-201, IEEE Computer Society, 2008. [doi]
@inproceedings{HerdeEFT08,
title = {Analysis of Hybrid Systems Using HySAT},
author = {Christian Herde and Andreas Eggers and Martin Fränzle and Tino Teige},
year = {2008},
doi = {10.1109/ICONS.2008.17},
url = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.17},
tags = {analysis},
researchr = {https://researchr.org/publication/HerdeEFT08},
cites = {0},
citedby = {0},
pages = {196-201},
booktitle = {The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico},
publisher = {IEEE Computer Society},
}