Sciweavers

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

9

FORMATS
2008
Springer

favoriteEmaildiscussreport

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

13 years 6 months ago

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya, Shankara Naray

Real-time Traffic

Formal Methods | FORMATS 2008 |

claim paper

Related Content

» Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

» When Are Timed Automata Determinizable

» The Inclusion Problem for Regular Expressions

» Timed Petri nets and timed automata On the discriminating power of zeno sequences

» MeanPayoff Automaton Expressions

» Extended Timed Automata and Time Petri Nets

» TimeBounded Verification

» Monadic SecondOrder Logic for Graphs Algorithmic and Language Theoretical Applications

» A study on multimedia documents behavior a notion of equivalence

Post Info
More Details (n/a)

Added	26 Oct 2010
Updated	26 Oct 2010
Type	Conference
Year	2008
Where	FORMATS
Authors	P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa

Comments (0)