Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

DDECS
2007
IEEE

favoriteEmaildiscussreport

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

13 years 10 months ago

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&

Real-time Traffic

DDECS 2007 | Hardware |

claim paper

Related Content

» Bounded Model Checking with Parametric Data Structures

» BoundedVariable Fragments of Hybrid Logics

» Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata...

» Inclusion dynamics hybrid automata

» SATbased Unbounded Model Checking of Timed Automata

» Partial Order Reduction for Model Checking of Timed Automata

» Computing Optimized Representations for Nonconvex Polyhedra by Detection and Removal of Re...

Post Info
More Details (n/a)

Added	02 Jun 2010
Updated	02 Jun 2010
Type	Conference
Year	2007
Where	DDECS
Authors	Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde

Comments (0)