Sciweavers

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

8

FORMATS
2006
Springer

favoriteEmaildiscussreport

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

13 years 8 months ago

Intersection of Regular Signal-Event (Timed) Languages

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin

Real-time Traffic

Formal Methods | FORMATS 2006 |

claim paper

Related Content

» Timed substitutions for regular signalevent languages

» A proof Procedure for Testing Membership in Regular Expressions

» On universally easy classes for NPcomplete problems

» Linear Time Membership for a Class of XML Types with Interleaving and Counting

» The HOM problem is decidable

» Featurealigned Tmeshes

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FORMATS
Authors	Béatrice Bérard, Paul Gastin, Antoine Petit

Comments (0)