Verification of hybrid systems

• Authors:

• Martin Fränzle

• Affiliations:

• Department Informatik, Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany

• Venue:
• CAV'07 Proceedings of the 19th international conference on Computer aided verification
• Year:
• 2007