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]
No references recorded for this publication.
No citations of this publication recorded.