Sciweavers

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

21

WIA
2009
Springer

favoriteEmaildiscussreport

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

13 years 11 months ago

TAGED Approximations for Temporal Properties Model-Checking

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam,

Real-time Traffic

Artificial Intelligence | WIA 2009 |

claim paper

Related Content

» Algorithmic Algebraic Model Checking IV Characterization of Metabolic Networks

» Labelled Markov Processes Stronger and Faster Approximations

» Synthesis of interface specifications for Java classes

» Generalized Template Splay A Basic Theory and Calculus

Post Info
More Details (n/a)

Added	25 May 2010
Updated	25 May 2010
Type	Conference
Year	2009
Where	WIA
Authors	Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Comments (0)