Sciweavers

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

68

CAV
2008
Springer

89views Hardware» more CAV 2008»

Faster Than Uppaal?

15 years 4 months ago

Faster Than Uppaal?

Download swt.informatik.uni-freiburg.de

Sebastian Kupferschmid, Martin Wehrle, Bernhard Ne

Real-time Traffic

CAV 2008 | Hardware |

claim paper

Related Content

» An Efficient Translation of TimedArc Petri Nets to Networks of Timed Automata

» ModelChecking for RealTime Systems

» When lisp is faster than C

» TD0 Converges Provably Faster than the Residual Gradient Algorithm

» Are Hopfield Networks Faster than Conventional Computers

» TwoPass Authenticated Encryption Faster Than Generic Composition

» Being Taught can be Faster than Asking Questions

» Faster than Weighted A An Optimistic Approach to Bounded Suboptimal Search

» Iteratively Reweighted Least Squares minimization Proof of faster than linear rate for spa...

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CAV
Authors	Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski

Comments (0)