Sciweavers

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

9

TCS
2002

favoriteEmaildiscussreport

100views Theoretical Computer Science» more TCS 2002»

Augmenting the discrete timed automaton with other data structures

13 years 4 months ago

Augmenting the discrete timed automaton with other data structures

Download www.cs.ucsb.edu

We describe a general automata-theoretic approach for analyzing the veri

Oscar H. Ibarra, Jianwen Su

Real-time Traffic

Data Structures | Discrete Timed Automaton | General Automata-theoretic Approach | TCS 2002 | Theoretical Computer Science |

claim paper

Related Content

» Generalizing the Discrete Timed Automaton

» On Presburger Liveness of Discrete Timed Automata

» Timevarying reeb graphs for continuous spacetime data

» Reachability Analysis for Some Models of InfiniteState Transition Systems

» Making the Right Cut in Model Checking DataIntensive Timed Systems

» FarthestPoint Queries with Geometric and Combinatorial Constraints

» Monadic datalog over finite structures with bounded treewidth

» Applications of a formal approach to decipher discrete genetic networks

» Topics over time a nonMarkov continuoustime model of topical trends

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TCS
Authors	Oscar H. Ibarra, Jianwen Su

Comments (0)