Tool−support for the analysis of hybrid systems and models
Andreas Bauer‚ Markus Pister and Michael Tautschnig
Address
Nice‚ France
Book Title
Proceedings of the 2007 Conference on Design‚ Automation and Test in Europe (DATE)
ISBN
978−3−9810801−2−4
Month
April
Pages
924–929
Publisher
European Design and Automation Association
Year
2007