Sciweavers

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

9

TACAS
2004
Springer

favoriteEmaildiscussreport

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

13 years 9 months ago

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar

Real-time Traffic

Algorithms | TACAS 2004 |

claim paper

Related Content

» On the Use of Nondeterministic Automata for Presburger Arithmetic

» Performance Evaluation of Components Using a Granularitybased Interface Between RealTime C...

» Lower and upper bounds on obtaining history independence

» Timed Automata Semantics Algorithms and Tools

» Visibly Pushdown Automata From Language Equivalence to Simulation and Bisimulation

» Partial Order Reduction for Model Checking of Timed Automata

» A QueryDriven Anytime Algorithm for Argumentative and Abductive Reasoning

» QuasiBirthDeath Processes TreeLike QBDs Probabilistic 1Counter Automata and Pushdown Syste...

» Generating Consistent Motion Transition via Decoupled Framespace Interpolation

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	TACAS
Authors	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek

Comments (0)