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]
Abstract is missing.