Number of items: 1.
Conference or Workshop Item (A Paper)
Becker, Bernd and Behle, Markus and Eisenbrand, Friedrich and Franzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Jörg and Kröning, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf
(2004)
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
This list was generated on Thu Apr 18 06:35:03 2024 CEST.