Combining control and data abstraction in the verification of hybrid systems.

Xavier Briand, Bertrand Jeannet

Browse the full MEMOCODE paper archive.