<style face="normal" font="default" size="100%">Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants</style>

Drupal-Bibcite